Identifying patch correctness in test-based program repair
Yingfei Xiong, Xinyuan Liu, Muhan Zeng, Lu Zhang, Gang L. Huang · 2018
Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.