3 papers
cs.SE2025
Do AI models help produce verified bug fixes?
Li Huang, Ilgiz Mustafin, Marco Piccioni +3
Among areas of software engineering where AI techniques -- particularly, Large Language Models -- seem poised to yield dramatic improvements, an attractive candidate is Automatic P…
cs.SE2025
Bugfix: a standard language, database schema and repository for research on bugs and automatic program repair
Victoria Kananchuk, Ilgiz Mustafin, Bertrand Meyer
Automatic Program Repair (APR) is a brilliant idea: when detecting a bug, also provide suggestions for correcting the program. Progress towards that goal is hindered by the absence…
cs.SE2024
Execution-free Program Repair
Li Huang, Bertrand Meyer, Ilgiz Mustafin +1
Automatic program repair usually relies heavily on test cases for both bug identification and fix validation. The issue is that writing test cases is tedious, running them takes mu…