Keyword:mutation testing

Papers
Generating Mutation Tests Using an Equivalence Prover Christian Martin EasyChair Preprint no. 8629