461 | -- | 463 | Yue Jia, Mercedes G. Merayo, Mark Harman. Introduction to the special issue on Mutation Testing |
464 | -- | 489 | Pedro Reales Mateo, Macario Polo Usaola. Reducing mutation costs through uncovered mutants |
490 | -- | 507 | René Just, Franz Schweiggert. Higher accuracy and lower run time: efficient mutation analysis using non-redundant mutation operators |
508 | -- | 535 | Marinos Kintis, Mike Papadakis, Nicos Malevris. Employing second-order mutation for isolating first-order equivalent mutants |
536 | -- | 571 | Antonia Estero-Botaro, Francisco Palomo-Lozano, Inmaculada Medina-Bulo, Juan José Domínguez-Jiménez, Antonio García-Domínguez. Quality metrics for mutation testing with applications to WS-BPEL compositions |
572 | -- | 604 | Akbar Siami Namin, Xiaozhen Xue, Omar Rosas, Pankaj Sharma. MuRanker: a mutant ranking tool |
605 | -- | 628 | Mike Papadakis, Yves Le Traon. Metallaxis-FL: mutation-based fault localization |
629 | -- | 652 | Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene. Using mutation to assess fault detection capability of model review |
653 | -- | 683 | Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser. Towards an automation of the mutation analysis dedicated to model transformation |
684 | -- | 711 | Frédéric Dadeau, Pierre-Cyrille Héam, Rafik Kheddam, Ghazi Maatoug, Michaël Rusinowitch. Model-based mutation testing from security protocols in HLPSL |