Autor der Publikation

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

API-Driven Program Synthesis for Testing Static Typing Implementations., , und . Proc. ACM Program. Lang., 8 (POPL): 1850-1881 (Januar 2024)Generative type-aware mutation for testing SMT solvers., , , und . Proc. ACM Program. Lang., 5 (OOPSLA): 1-19 (2021)How test suites impact fault localisation starting from the size., , , und . IET Softw., 12 (3): 190-205 (2018)An Analysis Framework for Security in Web Applications, und . Proceedings of the FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), Seite 70--78. (2004)Static checking of dynamically generated queries in database applications., , , und . ACM Trans. Softw. Eng. Methodol., 16 (4): 14 (2007)Skeletal Program Enumeration for Rigorous Compiler Testing., , und . CoRR, (2016)Toward Rapid Transformation of Ideas into Software., und . CoRR, (2016)Liberating the programmer with prorogued programming., , und . Onward!, Seite 11-26. ACM, (2012)Detecting API documentation errors., und . OOPSLA, Seite 803-816. ACM, (2013)Understanding the syntactic rule usage in java., , , und . J. Syst. Softw., (2017)