How much Specification is Enough? Mutation Analysis for Software Contracts | IEEE Conference Publication | IEEE Xplore