( en | de | ru )

 

Disambiguierung von "Groce, Alex"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
How verified (or tested) is my code? Falsification-driven verification and testing.

, , , , und . Autom. Softw. Eng., 25 (4): 917-960 (2018)

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)

Michael Alex

Alex Mueller

Alex Niemoeller

Alex Brakhage

 

Weitere Publikationen von Autoren mit dem selben Namen

Mutation Reduction Strategies Considered Harmful., , , , und . IEEE Trans. Reliab., 66 (3): 854-874 (2017)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)Adaptive Model Checking., , und . Logic Journal of the IGPL, 14 (5): 729-744 (2006)(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)How verified (or tested) is my code? Falsification-driven verification and testing., , , , und . Autom. Softw. Eng., 25 (4): 917-960 (2018)Error Explanation with Distance Metrics.. TACAS, Volume 2988 von Lecture Notes in Computer Science, Seite 108-122. Springer, (2004)Counterexample Guided Abstraction Refinement Via Program Execution., , und . ICFEM, Volume 3308 von Lecture Notes in Computer Science, Seite 224-238. Springer, (2004)