Author of the publication

How Verified is My Code? Falsification-Driven Verification (T).

, , , and . ASE, page 737-748. IEEE Computer Society, (2015)

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

Applying Mutation Analysis on Kernel Test Suites: An Experience Report., , , and . ICST Workshops, page 110-115. IEEE Computer Society, (2017)Evaluating and Improving Static Analysis Tools Via Differential Mutation Analysis., , , , , , and . QRS, page 207-218. IEEE, (2021)Mental Wellbeing at Work: Perspectives of Software Engineers., , , , , and . CHI, page 858:1-858:15. ACM, (2023)Comparing the performance of group detection algorithm in serial and parallel processing environments., , , , , and . XSEDE, page 21:1-21:4. ACM, (2012)Towards understanding code readability and its impact on design quality., , and . NL4SE@ESEC/SIGSOFT FSE, page 18-21. ACM, (2018)Changes from the Trenches: Should We Automate Them?, , , , and . CoRR, (2021)A case study of motivations for corporate contribution to FOSS., , and . VL/HCC, page 223-231. IEEE Computer Society, (2017)Collaboration in global software development: an investigation on research trends and evolution., , , and . ICGSE, page 68-69. IEEE / ACM, (2019)A benchmark for event-race analysis in android apps., , , and . MobiSys, page 466-467. ACM, (2020)Automated Repair of Declarative Software Specifications in the Era of Large Language Models., , , and . CoRR, (2023)