SemFix: program repair via semantic analysis
Bug isolation via remote program sampling