- author = "Yukun Dong and Mengying Wu and Shanchen Pang and Li Zhang2 and Wenjing Yin and Meng Wu and Haojie Li",
- title = "Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects",
- journal = "Symmetry",
- year = "2020",
- volume = "12",
- number = "12",
- article-number = "2076",
- month = "14 " # dec,
- keywords = "genetic algorithms, genetic programming, genetic improvement, automated program repair, APR, false-positive elimination, program-semantic defect",
- ISSN = "2073-8994",
-
URL = "
https://www.mdpi.com/2073-8994/12/12/2076",
-
DOI = "
doi:10.3390/sym12122076",
- size = "16 pages",
- abstract = "The alarms of the program-semantic defect-detection report based on static analysis include defects and false positives. The repair of defects and the elimination of false positives are time-consuming and laborious, and new defects may be introduced in the process. To solve these problems, the safe constraints interval of related variables and methods are proposed for the semantic defects in the program, and proposes a functionally equivalent no-side-effect program-semantic defect repair and false-positive elimination strategy based on the test-equivalence theory. The automatic repair of the typical semantic defects of Java programs and the automatic elimination of false positives by adding safe constraint patches. After the repair, the program functions are equivalent and the status of each program point is within the safety range, so that the functions before and after the defect repair are consistent, and the functions and semantics before and after the false positives are eliminated. We have evaluated our approach by repairing 5 projects; our results show that the repair strategy does not require manual confirmation of alarms, automated repair of the program effectively, shortened the repair time greatly, and ensured the correctness of the program after the repair.",
-
notes = "is this GP?
Also known as \cite{sym12122076} https://www.mdpi.com/journal/symmetry
College of Computer Science and Technology, China University of Petroleum, Qingdao 266580, China",
