Author of the publication

Collaborative Verification of Information Flow for a High-Assurance App Store.

, , and . Software Engineering & Management, volume P-239 of LNI, page 77. GI, (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

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 . CoRR, (2024)AI-Assisted Assessment of Coding Practices in Modern Code Review., , , , , , , , , and 3 other author(s). CoRR, (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)Tea: A High-level Language and Runtime System for Automating Statistical Analysis., , , , , , and . UIST, page 591-603. ACM, (2019)Removing biased data to improve fairness and accuracy., , and . CoRR, (2021)JUGE: An Infrastructure for Benchmarking Java Unit Test Generators., , , , , , and . CoRR, (2021)