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.
BibTeX
@inproceedings{Xiong-al:ICSE18,
author = {Yingfei Xiong and
Xinyuan Liu and
Muhan Zeng and
Lu Zhang and
Gang Huang},
title = {Identifying patch correctness in test-based program repair},
booktitle = {ICSE},
pages = {789--799},
publisher = {{ACM}},
year = {2018},
}
