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

Generative type-aware mutation for testing SMT solvers., , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-19 (2021)API-Driven Program Synthesis for Testing Static Typing Implementations., , and . Proc. ACM Program. Lang., 8 (POPL): 1850-1881 (January 2024)How test suites impact fault localisation starting from the size., , , and . IET Softw., 12 (3): 190-205 (2018)Automatic Detection of Unsafe Dynamic Component Loadings., and . IEEE Trans. Software Eng., 38 (2): 293-313 (2012)Skeletal Program Enumeration for Rigorous Compiler Testing., , and . CoRR, (2016)An Analysis Framework for Security in Web Applications, and . Proceedings of the FSE Workshop on Specification and Verification of Component-Based Systems (SAVCBS 2004), page 70--78. (2004)Toward Rapid Transformation of Ideas into Software., and . CoRR, (2016)Testing mined specifications., and . SIGSOFT FSE, page 4. ACM, (2012)Javert: fully automatic mining of general temporal properties from dynamic traces., and . SIGSOFT FSE, page 339-349. ACM, (2008)An empirical analysis of the co-evolution of schema and code in database applications., , and . ESEC/SIGSOFT FSE, page 125-135. ACM, (2013)