Generated tests and corresponding bug fixes