Genetic Programming conference papers by Gary T Leavens
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.