On reliability of patch correctness assessment
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...
Saved in:
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: | |
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Invalidator: Automated patch correctness assessment via semantic and syntactic reasoning
by: LE-CONG, Tranh, et al.
Published: (2023) -
Empirical study on synthesis engines for semantics-based program repair
by: BACH, Le Dinh Xuan, et al.
Published: (2016) -
History driven program repair
by: LE, Xuan-Bach D., et al.
Published: (2016) -
Exploring and repairing gender fairness violations in word embedding-based sentiment analysis model through adversarial patches
by: KHOO, Lin Sze, et al.
Published: (2023) -
Overfitting in automated program repair: Challenges and solutions
by: LE, Dinh Xuan Bach
Published: (2018)