@Inproceedings{EPTCS208.1, author = {Diallo, Nafi and Ghardallou, Wided and Mili, Ali}, year = {2016}, title = {Program Repair by Stepwise Correctness Enhancement}, editor = {Aceto, Luca and Francalanza, Adrian and Ingolfsdottir, Anna}, booktitle = {{\rm Proceedings First Workshop on} Pre- and Post-Deployment Verification Techniques, {\rm Reykjav\'ik, Iceland, 4th June 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {208}, publisher = {Open Publishing Association}, pages = {1-15}, doi = {10.4204/EPTCS.208.1}, }