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}
}
  • K. Patel, R. Hierons
  • Published in ICTSS 2016
  • Computer Science
  • 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
    • S. Rani, B. Suri
    • Computer Science
    • 2018 8th International Conference on Cloud Computing, Data Science & Engineering (Confluence)
    • 2018
    Coincidental correctness in the Defects4J benchmark
    • 4
    Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation
    • 6
    • PDF
    A systematic literature review of techniques and metrics to reduce the cost of mutation testing
    • 15
    • Highly Influenced
    • PDF
    A Systematic Review of Cost Reduction Techniques for Mutation Testing: Preliminary Results
    • 12

    References

    SHOWING 1-10 OF 26 REFERENCES
    A study of equivalent and stubborn mutation operators using human analysis of equivalence
    • 125
    • PDF
    Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique
    • 147
    • PDF
    Mutation-based testing of concurrent programs
    • R. Carver
    • Computer Science
    • Proceedings of IEEE International Test Conference - (ITC)
    • 1993
    • 28
    • Highly Influential
    Efficient Refinement Checking for Model-Based Mutation Testing
    • 14
    • PDF
    An Analysis and Survey of the Development of Mutation Testing
    • 1,272
    • PDF
    Cleansing Test Suites from Coincidental Correctness to Enhance Fault-Localization
    • W. Masri, Rawad Abou Assi
    • Computer Science
    • 2010 Third International Conference on Software Testing, Verification and Validation
    • 2010
    • 67
    Two notions of correctness and their relation to testing
    • 191
    How strong is weak mutation?
    • 46
    Investigations of the software testing coupling effect
    • 378
    • PDF