2 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…