[ICST’21] Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Published in International Conference on Software Testing, Verification and Validation, Research Track, 2021
Authors: Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach D. Le, Corina Pasareanu, and David R. Cok
Download Paper | Download Slides | Download Bibtex