An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions
Defects4J: a database of existing faults to enable controlled testing studies for Java programs