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

Thomas Knauth, Christof Fetzer, Pascal Felber

Browse the full ICST paper archive.