MESSI: Mutant Evaluation by Static Semantic Interpretation.

Matthew Patrick, Manuel Oriol, John A. Clark

Browse the full ICST paper archive.