( en | de | ru )

 

Disambiguierung von "Groce, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Taming compiler fuzzers.

, , , , , , und . PLDI, Seite 197-208. ACM, (2013)

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 Beuermann

Alex Nehrkorn

Alex Volbring

Alex Lassetzki

 

Weitere Publikationen von Autoren mit dem selben Namen

Building Resource Adaptations via Test-Based Software Minimization: Application, Challenges, and Opportunities., , und . ISSRE Workshops, Seite 73-78. IEEE, (2019)echidna-parade: a tool for diverse multicore smart contract fuzzing., und . ISSTA, Seite 658-661. ACM, (2021)TSTL: a language and tool for testing (demo)., , , und . ISSTA, Seite 414-417. ACM, (2015)VeriAgent: an Approach to Integrating UML and Formal Verification Tools., , , , , und . WMF, Volume 95 von Electronic Notes in Theoretical Computer Science, Seite 111-129. Elsevier, (2003)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)Counterexample Guided Abstraction Refinement Via Program Execution., , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2004)Heuristic Model Checking for Java Programs., und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 242-245. Springer, (2002)Error Explanation with Distance Metrics.. TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 108-122. Springer, (2004)