Autor der Publikation

Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach.

, und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 144-159. Springer, (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.

 

Weitere Publikationen von Autoren mit dem selben Namen

CCVisu: automatic visual software decomposition.. ICSE Companion, Seite 967-968. ACM, (2008)978-1-60558-079-1.Shape Refinement through Explicit Heap Analysis., , , und . FASE, Volume 6013 von Lecture Notes in Computer Science, Seite 263-277. Springer, (2010)Strategy Selection for Software Verification Based on Boolean Features - A Simple but Effective Approach., und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 144-159. Springer, (2018)Evaluating Tools for Software Verification (Track Introduction)., , und . ISoLA (2), Volume 11245 von Lecture Notes in Computer Science, Seite 139-143. Springer, (2018)Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework., und . CoRR, (2019)Reliable Benchmarking: Requirements and Solutions, , und . International Journal on Software Tools for Technology Transfer, 21 (1): 1--29 (01.02.2019)A Light-Weight Approach for Verifying Multi-Threaded Programs with CPAchecker., und . MEMICS, Volume 233 von EPTCS, Seite 61-71. (2016)Correction to: A Unifying View on SMT-Based Software Verification., , und . J. Autom. Reason., 65 (3): 461 (2021)First international competition on software testing.. Int. J. Softw. Tools Technol. Transf., 23 (6): 833-846 (2021)Tools for the construction and analysis of systems., und . Int. J. Softw. Tools Technol. Transf., 22 (6): 685-687 (2020)