Practical program repair via bytecode mutation
Using Static Analysis to Find Bugs