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)AI-Assisted Assessment of Coding Practices in Modern Code Review., , , , , , , , , and 3 other author(s). AIware, 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)JUGE: An Infrastructure for Benchmarking Java Unit Test Generators., , , , , , and . CoRR, (2021)Practical Mutation Testing at Scale: A view from Google., , , and . IEEE Trans. Software Eng., 48 (10): 3900-3912 (2022)Tea: A High-level Language and Runtime System for Automating Statistical Analysis., , , , , , and . UIST, page 591-603. ACM, (2019)Productive Coverage: Improving the Actionability of Code Coverage., , , , , , and . ICSE-SEIP, page 58-68. ACM, (2024)Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships., , , and . CHI, page 490:1-490:16. ACM, (2022)