Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok

Browse the full ICST paper archive.