Thomas Knauth, Christof Fetzer, Pascal Felber. Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations. In Second International Conference on Software Testing Verification and Validation, ICST 2009, Denver, Colorado, USA, April 1-4, 2009, Workshops Proceedings. pages 182-191, IEEE Computer Society, 2009. [doi]
Abstract is missing.