Model-based mutation testing - Approach and case studies

Fevzi Belli, Christof J. Budnik, Axel Hollmann, Tugkan Tuglular, W. Eric Wong. Model-based mutation testing - Approach and case studies. Science of Computer Programming, 120:25-48, 2016. [doi]