Automated Program-Semantic Defect Repair and False-Positive Elimination without Side Effects.
Yukun DongMengying WuShanchen PangLi ZhangWenjing YinMeng WuHaojie LiPublished in: Symmetry (2020)
Keyphrases
- false positives
- false negative
- detection rate
- semantically equivalent
- false positive rate
- true positive
- number of false positives
- semantic network
- low false positive rate
- semi automated
- semantic information
- natural language
- high level
- semantic web
- data sets
- domain ontology
- computer programs
- test cases
- defect detection
- image sequences