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)Efficient Pattern-based Static Analysis Approach via Regular-Expression Rules., , and . SANER, page 132-143. IEEE, (2023)relifix: Automated Repair of Software Regressions., and . ICSE (1), page 471-482. IEEE Computer Society, (2015)Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction., , , , , , , and . ICSE, page 169:1-169:13. ACM, (2024)LPR: Large Language Models-Aided Program Reduction., , , , , and . ISSTA, page 261-273. 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)Understanding and Detecting Annotation-Induced Faults of Static Analyzers., , , and . Proc. ACM Softw. Eng., 1 (FSE): 722-744 (2024)