Autor der Publikation

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

, , und . Software Engineering & Management, Volume P-239 von LNI, Seite 77. GI, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Collaborative Verification of Information Flow for a High-Assurance App Store., , und . Software Engineering & Management, Volume P-239 von LNI, Seite 77. GI, (2015)Special issue on mutation testing and analysis., , , und . Softw. Test. Verification Reliab., (2019)BLIP: Facilitating the Exploration of Undesirable Consequences of Digital Technologies., , , und . CHI, Seite 290:1-290:18. ACM, (2024)AI-Assisted Assessment of Coding Practices in Modern Code Review., , , , , , , , , und 3 andere Autor(en). AIware, ACM, (2024)Does mutation testing improve testing practices?, , , und . ICSE, Seite 910-921. IEEE, (2021)Repairing Brain-Computer Interfaces with Fault-Based Data Acquisition., , , , , , und . ICSE, Seite 1869-1880. ACM, (2022)Guiding testing effort using mutant utility., , , , und . ICSE (Companion Volume), Seite 312-313. IEEE / ACM, (2019)Tisane: Authoring Statistical Models via Formal Reasoning from Conceptual and Data Relationships., , , und . CHI, Seite 490:1-490:16. ACM, (2022)MuRS: Mutant Ranking and Suppression using Identifier Templates., , , , , und . ESEC/SIGSOFT FSE, Seite 1798-1808. ACM, (2023)rTisane: Externalizing conceptual models for data analysis prompts reconsideration of domain assumptions and facilitates statistical modeling., , , und . CHI, Seite 1037:1-1037:16. ACM, (2024)