How much Specification is Enough? Mutation Analysis for Software Contracts.

Alexander Knppel, Leon Schaer, Ina Schaefer

Browse the full ICSE paper archive.