Keyword:Equivalence Prover

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