Genetic Programming Bibliography entries for Xuan-Bach Dinh Le

up to index Created by W.Langdon from gp-bibliography.bib Revision:1.8110

GP coauthors/coeditors: Tien-Duy Bui Le, David Lo, Quang Loc Le, Claire Le Goues, Duc-Hiep Chu, Willem Visser, Amirfarhad Nilizadeh, Gary T Leavens, Corina S Pasareanu, David R Cok,

Genetic Programming PhD doctoral thesis Xuan-Bach Dinh Le

Genetic Programming conference papers by Xuan-Bach Dinh Le

  1. 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. details

  2. 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. details

  3. 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

  4. 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. details