( en | de | ru )

 

Disambiguierung von "Rocha, Henrique"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An exploratory study on solidity guards and ether exchange constructs.

, und . WETSEB@ICSE, Seite 1-8. ACM, (2022)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Saulo Henrique Freitas Seabra Rocha

Paula Suares Rocha

Nino Rocha

Jacqueline Rocha

Marcio Rocha

 

Weitere Publikationen von Autoren mit dem selben Namen

How Developers Implement Property-Based Tests., , und . ICSME, Seite 380-384. IEEE, (2023)Characterizing Bug Workflows in Mozilla Firefox., , , und . SBES, Seite 43-52. ACM, (2016)Adopting Program Synthesis for Test Amplification., , und . BENEVOL, Volume 2605 von CEUR Workshop Proceedings, CEUR-WS.org, (2019)Comparing smart contract vulnerability detection tools., , und . BENEVOL, Volume 3567 von CEUR Workshop Proceedings, Seite 9-16. CEUR-WS.org, (2023)Challenges and Perils of Testing Database Manipulation Code., , , , und . CAiSE, Volume 12751 von Lecture Notes in Computer Science, Seite 229-245. Springer, (2021)An exploratory study on solidity guards and ether exchange constructs., und . WETSEB@ICSE, Seite 1-8. ACM, (2022)How Annotations are Used in Java: An Empirical Study., und . SEKE, Seite 426-431. Knowledge Systems Institute Graduate School, (2011)Refactoring Solidity Smart Contracts to Protect Against Reentrancy Exploits., , und . ISoLA (2), Volume 13702 von Lecture Notes in Computer Science, Seite 324-344. Springer, (2022)Preliminary Steps Towards Modeling Blockchain Oriented Software., und . WETSEB@ICSE, Seite 52-57. ACM, (2018)Small-Amp: Test amplification in a dynamically typed language., , , und . Empir. Softw. Eng., 27 (6): 128 (2022)