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

API-Driven Program Synthesis for Testing Static Typing Implementations., , and . Proc. ACM Program. Lang., 8 (POPL): 1850-1881 (January 2024)Generative type-aware mutation for testing SMT solvers., , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-19 (2021)How test suites impact fault localisation starting from the size., , , and . IET Softw., 12 (3): 190-205 (2018)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)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)Toward Rapid Transformation of Ideas into Software., and . CoRR, (2016)Testing Database Engines via Pivoted Query Synthesis., and . OSDI, page 667-682. USENIX Association, (2020)Understanding the syntactic rule usage in java., , , and . J. Syst. Softw., (2017)Static checking of dynamically generated queries in database applications., , , and . ACM Trans. Softw. Eng. Methodol., 16 (4): 14 (2007)