How much Specification is Enough? Mutation Analysis for Software Contracts. - Alexander Knüppel; Leon Schaer; Ina Schaefer (FormaliSE@ICSE, 2021)