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

Title:
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods
Authors:
Nilizadeh, Amirfarhad, Leavens, Gary T., Le, Xuan-Bach D., Pasareanu, Corina S., Cok, David R.
Source:
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST) ICST Software Testing, Verification and Validation (ICST), 2021 14th IEEE Conference on. :229-240 Apr, 2021
Relation:
2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST)
Database:
IEEE Xplore Digital Library