DETERMINING MINIMAL SETS OF BUGS SOLUTIONS FOR A COMPUTER PROGRAM

摘要

A system for automated bug detection and solution including a testing tool operative to record execution behavior and output of a computer program, and a determiner including a bug pattern detector operative to analyze the program execution behavior and output to identify a bug pattern therein and propose at least one program modification for effecting a solution to eliminate the bug pattern, a solution query & search module operative to iteratively define a plurality of subsets of the proposed solutions in accordance with a predefined selection criterion, and a bug solution inserter operative to iteratively apply the subsets of proposed solutions to the program.