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

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)Static checking of dynamically generated queries in database applications., , , and . ACM Trans. Softw. Eng. Methodol., 16 (4): 14 (2007)Understanding the syntactic rule usage in java., , , and . J. Syst. Softw., (2017)Toward Rapid Transformation of Ideas into Software., and . CoRR, (2016)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)Liberating the programmer with prorogued programming., , and . Onward!, page 11-26. ACM, (2012)