Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness

Abstract : In this paper, we develop a new mutation testing technique called Interlocutory Mutation Testing (IMT) that mitigates the equivalent mutant problem in the presence of coincidental correctness and non-determinism. The accuracy of IMT was evaluated; it obtained a classification accuracy of 93.33 % for non-equivalent mutants and 100 % for equivalent mutants in a non-deterministic system with coincidental correctness.
Type de document :
Communication dans un congrès
Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.123-138, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_8〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01643715
Contributeur : Hal Ifip <>
Soumis le : mardi 21 novembre 2017 - 15:52:53
Dernière modification le : mardi 21 novembre 2017 - 15:56:00

Fichier

 Accès restreint
Fichier visible le : 2019-01-01

Connectez-vous pour demander l'accès au fichier

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Krishna Patel, Robert Hierons. Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness. Franz Wotawa; Mihai Nica; Natalia Kushik. 28th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2016, Graz, Austria. Springer International Publishing, Lecture Notes in Computer Science, LNCS-9976, pp.123-138, 2016, Testing Software and Systems. 〈10.1007/978-3-319-47443-4_8〉. 〈hal-01643715〉

Partager

Métriques

Consultations de la notice

13