( en | de | ru )

 

Disambiguierung von "Groce, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Echidna: effective, usable, and fast fuzzing for smart contracts.

, , , , und . ISSTA, Seite 557-560. ACM, (2020)

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.

Maria Alexopoulou

Ethnic Foreign Policy und Identitätsbildung: die Griechisch-Amerikaner (1964 - 1978). FU Berlin, (2007)

Alex Marti

Alex Troost

Alex Bubert

Alex Berg

 

Weitere Publikationen von Autoren mit dem selben Namen

Passages.. ACM SIGSOFT Softw. Eng. Notes, 39 (6): 6-7 (2014)Passages.. ACM SIGSOFT Softw. Eng. Notes, 43 (2): 6-7 (2018)Mutation Reduction Strategies Considered Harmful., , , , und . IEEE Trans. Reliab., 66 (3): 854-874 (2017)How verified (or tested) is my code? Falsification-driven verification and testing., , , , und . Autom. Softw. Eng., 25 (4): 917-960 (2018)Generating focused random tests using directed swarm testing., , , und . ISSTA, Seite 70-81. ACM, (2016)MuCheck: an extensible tool for mutation testing of haskell programs., , , und . ISSTA, Seite 429-432. ACM, (2014)(Quickly) testing the tester via path coverage.. WODA, Seite 22-28. (2009)Heuristic Model Checking for Java Programs., und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 242-245. Springer, (2002)Counterexample Guided Abstraction Refinement Via Program Execution., , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2004)Error Explanation with Distance Metrics.. TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 108-122. Springer, (2004)