An Industrial Application of Mutation Testing: Lessons, Challenges, and Research Directions | IEEE Conference Publication | IEEE Xplore