
[IEEE 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Raleigh, NC, USA (2016.10.2-2016.10.7)] 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME) - Enhancing Automated Program Repair with Deductive Verification
Le, Xuan-Bach D., Le, Quang Loc, Lo, David, Le Goues, ClaireAnnée:
2016
Langue:
english
DOI:
10.1109/ICSME.2016.66
Fichier:
PDF, 184 KB
english, 2016