Facilitating Program Analysis through Transformation

Z Gao - 2022 - discovery.ucl.ac.uk
Computer programs are reaching every corner of human lives, becoming ever more
important. This, in turn, raises the cost of program malfunctions. Preventing or diagnosing …

On Oracles for Automated Diagnosis and Repair of Software Bugs

M Monperrus - 2016 - theses.hal.science
This HDR focuses on my work on automatic diagnosis and repair done over the past years.
Among my past publications, it highlights three contributions on this topic, respectively …

[CITATION][C] Summary of Martin Monperrus' research on automatic sofware repair

M Monperrus - 2015