From post

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.

 

Другие публикации лиц с тем же именем

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