Genetic Programming Bibliography entries for Xuan-Bach Dinh Le
up to index
Created by W.Langdon from
Tien-Duy Bui Le,
Quang Loc Le,
Claire Le Goues,
Gary T Leavens,
Corina S Pasareanu,
David R Cok,
Genetic Programming PhD doctoral thesis Xuan-Bach Dinh Le
Dinh Xuan Bach Le.
Overfitting in Automated Program Repair: Challenges and Solutions. PhD thesis,
School of Information Systems Singapore Management University, Singapore, 2018.
Genetic Programming conference papers by Xuan-Bach Dinh Le
Amirfarhad Nilizadeh and Gary T. Leavens and Xuan-Bach Dinh Le and Corina S. Pasareanu and David R. Cok.
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. In
14th IEEE Conference on Software Testing, Verification and Validation, ICST 2021, pages 229-240, Porto de Galinhas, Brazil, 2021.
Xuan-Bach D. Le and Duc-Hiep Chu and David Lo and Claire Le Goues and Willem Visser.
S3: Syntax- and Semantic-guided Repair Synthesis via Programming by Examples. In
Eric Bodden and Wilhelm Schaefer editors,
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, pages 593-604, Paderborn, Germany, 2017. ACM.
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.
Xuan-Bach D. Le and Tien-Duy B. Le and David Lo.
Should fixing these failures be delegated to automated program repair?. In
26th IEEE International Symposium on Software Reliability Engineering (ISSRE), pages 427-437, 2015.