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

Expressing and checking intended changes via software change contracts., , , and . ISSTA, page 1-11. ACM, (2013)Automated patch backporting in Linux (experience paper)., , , , , and . ISSTA, page 633-645. ACM, (2021)relifix: Automated Repair of Software Regressions., and . ICSE (1), page 471-482. IEEE Computer Society, (2015)Efficient Pattern-based Static Analysis Approach via Regular-Expression Rules., , and . SANER, page 132-143. IEEE, (2023)Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction., , , , , , , and . ICSE, page 169:1-169:13. ACM, (2024)Automated Repair of Programs from Large Language Models., , , , and . ICSE, page 1469-1481. IEEE, (2023)A correlation study between automated program repair and test-suite metrics., , , , and . ICSE, page 24. ACM, (2018)Combining Graph-Based Learning With Automated Data Collection for Code Vulnerability Detection., , , , , , , , and . IEEE Trans. Inf. Forensics Secur., (2021)Software Change Contracts., , , and . ACM Trans. Softw. Eng. Methodol., 24 (3): 18:1-18:43 (2015)A feasibility study of using automated program repair for introductory programming assignments., , , , and . ESEC/SIGSOFT FSE, page 740-751. ACM, (2017)