Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Automatische Erzeugung von Unit Tests für Klassen mit Umgebungs-Abhängigkeiten., , and . Software Engineering & Management, volume P-239 of LNI, page 132. GI, (2015)Predicate abstractions for smart contract validation., , , and . MoDELS, page 289-299. ACM, (2022)JUGE: An Infrastructure for Benchmarking Java Unit Test Generators., , , , , , and . CoRR, (2021)Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs., , and . CoRR, (2023)On Verifying Resource Contracts using Code Contracts., , , , and . LAFM, volume 139 of EPTCS, page 1-15. (2013)An Empirical Study on How Sapienz Achieves Coverage and Crash Detection., , and . J. Softw. Evol. Process., (April 2023)Enabledness-based Testing of Object Protocols., , , and . ACM Trans. Softw. Eng. Methodol., 30 (2): 12:1-12:36 (2021)The DynAlloy Visualizer., , and . LAFM, volume 139 of EPTCS, page 59-64. (2013)TacoPlug: an Eclipse plug-in for TACO., and . TOPI@ICSE, page 37-42. IEEE Computer Society, (2012)TacoFlow: optimizing SAT program verification using dataflow analysis., , , and . Softw. Syst. Model., 14 (1): 45-63 (2015)