On reliability of patch correctness assessment

• Main Authors: LE, Xuan-Bach D., BAO, Lingfeng, LO, David, XIA, Xin, LI, Shanping, PASAREANU, Corina S.
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2019
• Subjects: Automated program repair; empirical study; test case generation; Software Engineering
• Online Access: https://ink.library.smu.edu.sg/sis_research/4481; https://ink.library.smu.edu.sg/context/sis_research/article/5484/viewcontent/icse192.pdf
• Institution: Singapore Management University

Current state-of-the-art automatic software repair (ASR) techniques rely heavily on incomplete specifications, or test suites, to generate repairs. This, however, may cause ASR tools to generate repairs that are incorrect and hard to generalize. To assess patch correctness, researchers have been fol...