-
Invalidator: Automated Patch Correctness Assessment via Semantic and Syntacti...
Automated program repair (APR) has been gaining ground recently. However, a significant challenge that still remains is patch overfitting, in which APR-generated patches plausibly...