Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations

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]

Authors

Thomas Knauth

This author has not been identified. Look up 'Thomas Knauth' in Google

Christof Fetzer

This author has not been identified. Look up 'Christof Fetzer' in Google

Pascal Felber

This author has not been identified. Look up 'Pascal Felber' in Google