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

Collaborative Verification of Information Flow for a High-Assurance App Store., , and . Software Engineering & Management, volume P-239 of LNI, page 77. GI, (2015)Special issue on mutation testing and analysis., , , and . Softw. Test. Verification Reliab., (2019)BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies., , , and . CHI, page 290:1-290:18. ACM, (2024)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , and . Software Engineering & Management, volume P-239 of LNI, page 53-54. GI, (2015)Hypothesis Formalization: Empirical Findings, Software Limitations, and Design Implications., , , , and . ACM Trans. Comput. Hum. Interact., 29 (1): 6:1-6:28 (2022)Practical Mutation Testing at Scale: A view from Google., , , and . IEEE Trans. Software Eng., 48 (10): 3900-3912 (2022)JUGE: An Infrastructure for Benchmarking Java Unit Test Generators., , , , , , and . CoRR, (2021)Removing biased data to improve fairness and accuracy., , and . CoRR, (2021)Special issue on Mutation Testing., and . Inf. Softw. Technol., (2017)Tea: A High-level Language and Runtime System for Automating Statistical Analysis., , , , , , and . UIST, page 591-603. ACM, (2019)