Abstract
Automated debugging is changing into more and more important because the size and quality of software system will enhanced. This paper makes a case for victimization constraint-based system repair, a recently developed technique for fault recovery, as a basis for machine-controlled debugging. System repair uses given structural integrity constraints for type information structures to monitor their correctness throughout the execution of a program. If constraint defiance is detected, revamp performs mutations on the data structures, i.e., corrupt program condition, and transforms it into another condition, that satisfies the specified constraints. The primary goal of knowledge structure repair is to remodel an inaccurate state into a suitable state. Therefore, the mutations performed by repair actions offer a basis of debugging faults in code (assuming the errors square measure thanks to bugs). A key challenge to embodying this insight into a mechanical technique arises thanks to the di