Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
@inproceedings{Patel2016ResolvingTE, title={Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness}, author={K. Patel and R. Hierons}, booktitle={ICTSS}, year={2016} }
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.
8 Citations
Equivalent Mutant Problem and its Problem-Solving Techniques: A Retrospective View
- Computer Science
- 2018 8th International Conference on Cloud Computing, Data Science & Engineering (Confluence)
- 2018
Model-based mutant equivalence detection using automata language equivalence and simulations
- Computer Science
- J. Syst. Softw.
- 2018
- 5
- PDF
Coincidental correctness in the Defects4J benchmark
- Computer Science
- Softw. Test. Verification Reliab.
- 2019
- 4
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
- Computer Science
- 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST)
- 2017
- 6
- PDF
A systematic literature review of techniques and metrics to reduce the cost of mutation testing
- Computer Science
- J. Syst. Softw.
- 2019
- 15
- Highly Influenced
- PDF
A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results
- Computer Science
- 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)
- 2018
- 12
References
SHOWING 1-10 OF 26 REFERENCES
A study of equivalent and stubborn mutation operators using human analysis of equivalence
- Mathematics, Computer Science
- ICSE
- 2014
- 125
- PDF
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
- Computer Science
- 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering
- 2015
- 147
- PDF
Mutation-based testing of concurrent programs
- Computer Science
- Proceedings of IEEE International Test Conference - (ITC)
- 1993
- 28
- Highly Influential
Efficient Refinement Checking for Model-Based Mutation Testing
- Computer Science
- 2012 12th International Conference on Quality Software
- 2012
- 14
- PDF
An Analysis and Survey of the Development of Mutation Testing
- Computer Science
- IEEE Transactions on Software Engineering
- 2011
- 1,272
- PDF
Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization
- Computer Science
- 2010 Third International Conference on Software Testing, Verification and Validation
- 2010
- 67
Two notions of correctness and their relation to testing
- Mathematics, Computer Science
- Acta Informatica
- 2004
- 191
An analysis of the relationship between conditional entropy and failed error propagation in software testing
- Computer Science
- ICSE
- 2014
- 48
- PDF