Assertion-Driven Development: Assessing the Quality of Contracts Using Meta-Mutations - Knauth, Thomas; Fetzer, Christof; Felber, Pascal (My University, 2009)