David Schuler, Valentin Dallmeier, Andreas Zeller. Efficient mutation testing by checking invariant violations. In Gregg Rothermel, Laura K. Dillon, editors, Proceedings of the Eighteenth International Symposium on Software Testing and Analysis, ISSTA 2009, Chicago, IL, USA, July 19-23, 2009. pages 69-80, ACM, 2009. [doi]
Abstract is missing.