ConPredictor: Concurrency Defect Prediction in Real-World Applications
Strong higher order mutation-based test data generation