Marinos Kintis, Mike Papadakis, Nicos Malevris. Isolating First Order Equivalent Mutants via Second Order Mutation. In Giuliano Antoniol, Antonia Bertolino, Yvan Labiche, editors, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. pages 701-710, IEEE, 2012. [doi]