Automatic bug-fixing techniques that rely on a test suite do not provide patch correctness guarantees, because the test suite is incomplete and does not cover all cases [REF].
Another limitation of generate-and-validate systems is the search space explosion [REF].