Matthew Patrick Manuel Oriol John A. Clark MESSI: Mutant Evaluation by Static Semantic Interpretation. 711-719 2012 ICST http://doi.ieeecomputersociety.org/10.1109/ICST.2012.161 conf/icst/2012 db/conf/icst/icst2012.html#PatrickOC12