Autor der Publikation

TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds.

, , , und . IEEE Trans. Software Eng., 39 (9): 1283-1307 (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Handling SQL Databases in Automated System Test Generation., und . ACM Trans. Softw. Eng. Methodol., 29 (4): 22:1-22:31 (2020)Parallel bounded analysis in code with rich invariants by refinement of field bounds., , , , , , , und . ISSTA, Seite 23-33. ACM, (2013)EMB: A Curated Corpus of Web/Enterprise Applications And Library Support for Software Testing Research., , , , , , und . ICST, Seite 433-442. IEEE, (2023)Dynamic Software Architectures Verification using DynAlloy., und . ECEASST, (2008)A Dataflow Analysis to Improve SAT-Based Bounded Program Verification., , , und . SEFM, Volume 7041 von Lecture Notes in Computer Science, Seite 138-154. Springer, (2011)Efficient Analysis of DynAlloy Specifications, , , und . ACM Trans. Softw. Eng. Methodol., 17 (1): 1--34 (Dezember 2007)TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds., , , und . IEEE Trans. Software Eng., 39 (9): 1283-1307 (2013)ParAlloy: Towards a Framework for Efficient Parallel Analysis of Alloy Models., , , und . ASM, Volume 5977 von Lecture Notes in Computer Science, Seite 396-397. Springer, (2010)SQL data generation to enhance search-based system testing., und . GECCO, Seite 1390-1398. ACM, (2019)Analysis of invariants for efficient bounded verification., , , und . ISSTA, Seite 25-36. ACM, (2010)