Genetic Programming conference papers by Quang Loc Le
Xuan-Bach D. Le and Quang Loc Le and David Lo and Claire Le Goues.
Enhancing Automated Program Repair with Deductive Verification. In
2016 IEEE International Conference on Software Maintenance and Evolution (ICSME), pages 428-432, Raleigh, North Carolina, USA, 2016.
details