( en | de | ru )

 

Disambiguierung von "Groce, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Heuristic Model Checking for Java Programs.

, und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 242-245. Springer, (2002)

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 Dwenger

Alex Beuermann

Alex Hildebrandt

Alex Kotten

 

Weitere Publikationen von Autoren mit dem selben Namen

Adaptive Model Checking., , und . Logic Journal of the IGPL, 14 (5): 729-744 (2006)How verified (or tested) is my code? Falsification-driven verification and testing., , , , und . Autom. Softw. Eng., 25 (4): 917-960 (2018)Mutation Analysis: Answering the Fuzzing Challenge., , und . CoRR, (2022)Passages.. ACM SIGSOFT Softw. Eng. Notes, 43 (2): 6-7 (2018)Passages.. ACM SIGSOFT Softw. Eng. Notes, 39 (6): 6-7 (2014)Mutation Reduction Strategies Considered Harmful., , , , und . IEEE Trans. Reliab., 66 (3): 854-874 (2017)Counterexample Guided Abstraction Refinement Via Program Execution., , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2004)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)Heuristic Model Checking for Java Programs., und . SPIN, Volume 2318 von Lecture Notes in Computer Science, Seite 242-245. Springer, (2002)