Assurance-Based Development and Validation for Auto Program Repairs
Technical Report,01 Nov 2018,31 Jan 2020
Western Michigan University Kalamazoo United States
Pagination or Media Count:
In this project, a novel technique to evaluate the quality of an auto program repair by means of employing the D-S theory as well as the symbolic execution engine called KLEE to reveal the difference between two versions of a program as much as possible was developed. Specifically, we generate various test case reports covering as many different paths in both versions as possible. Based on the test case reports, we apply the safety pattern to generate an assurance case in the Goal Structuring Notation GSN showing how an auto program repair technique is evaluated. Last, our technique adopts the D-S theory to evaluate the assurance case as the final evaluation of quality of an auto program repair.
- Computer Programming and Software