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

On Verifying Resource Contracts using Code Contracts., , , , and . LAFM, volume 139 of EPTCS, page 1-15. (2013)JUGE: An Infrastructure for Benchmarking Java Unit Test Generators., , , , , , and . CoRR, (2021)An Empirical Study on How Sapienz Achieves Coverage and Crash Detection., , and . J. Softw. Evol. Process., (April 2023)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)TacoPlug: an Eclipse plug-in for TACO., and . TOPI@ICSE, page 37-42. IEEE Computer Society, (2012)EvoMaster: A Search-Based System Test Generation Tool., , , and . J. Open Source Softw., 6 (57): 2153 (2021)Algorithm or Representation?: An empirical study on how SAPIENZ achieves coverage., , and . AST@ICSE, page 61-70. ACM, (2020)Building an open-source system test generation tool: lessons learned and empirical analyses with EvoMaster., , , , , , and . Softw. Qual. J., 31 (3): 947-990 (September 2023)On the feasibility and challenges of synthesizing executable Espresso tests., , , and . AST@ICSE, page 92-102. ACM/IEEE, (2022)