An initial test variable determined by a fuzz tester to cause a faulty response of an original computer program due to a bug within the original computer program is added to a suite of test variables. Computer program candidates that are functionally equivalent to the original computer program are tested using a suite of test variables including the initial test variable. The computer program candidates are modified and selected using a genetic algorithm based on results of the testing to produce bug-free computer program candidates that are functionally equivalent to the original computer program.
展开▼