Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria, IEEE Transactions on Software Engineering, vol.32, issue.8, pp.608-624, 2006. ,
DOI : 10.1109/TSE.2006.83
A mutation carol: Past, present and future, Information and Software Technology, vol.53, issue.10, pp.1098-1107, 2011. ,
DOI : 10.1016/j.infsof.2011.03.007
URL : http://www.cs.gmu.edu/~offutt/rsrch/papers/mutationCarol-IST2009.pdf
Comparing non-adequate test suites using coverage criteria, Proceedings of the 2013 International Symposium on Software Testing and Analysis, ISSTA 2013, pp.302-313, 2013. ,
DOI : 10.1145/2483760.2483769
Automatic Mutation Test Case Generation via Dynamic Symbolic Execution, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.121-130, 2010. ,
DOI : 10.1109/ISSRE.2010.38
Achieving scalable mutation-based generation of whole test suites, Empirical Software Engineering, pp.1-30, 2014. ,
DOI : 10.1109/ICSM.2010.5609672
Are mutants a valid substitute for real faults in software testing?, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.654-665, 2014. ,
DOI : 10.1109/ICSE.2007.37
An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software, IEEE Transactions on Software Engineering, vol.39, issue.6, pp.787-805, 2013. ,
DOI : 10.1109/TSE.2012.56
Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.1-10, 2014. ,
DOI : 10.1109/ICST.2014.11
Program testing by specification mutation, Computer Languages, vol.10, issue.1, pp.63-73, 1985. ,
DOI : 10.1016/0096-0551(85)90011-6
Reliability of the Path Analysis Testing Strategy, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.208-215, 1976. ,
DOI : 10.1109/TSE.1976.233816
Software Fault Injection: Inoculating Programs Against Errors, 1997. ,
Model-Based Mutation Testing of an Industrial Measurement Device, Tests and Proofs, ser. LNCS, pp.1-19, 2014. ,
DOI : 10.1007/978-3-319-09099-3_1
Trivial Compiler Equivalence: A Large Scale Empirical Study of a Simple, Fast and Effective Equivalent Mutant Detection Technique, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.936-946, 2015. ,
DOI : 10.1109/ICSE.2015.103
An Analysis and Survey of the Development of Mutation Testing, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.649-678, 2011. ,
DOI : 10.1109/TSE.2010.62
Verification of fair transition systems, Computer Aided Verification, pp.372-382, 1996. ,
DOI : 10.1007/3-540-61474-5_84
Checking NFA equivalence with bisimulations up to congruence, Symposium on Principles of Programming Languages, POPL, pp.457-468, 2013. ,
DOI : 10.1145/2429069.2429124
URL : https://hal.archives-ouvertes.fr/hal-00639716
Antichain algorithms for finite automata, " in Tools and Algorithms for the Construction and Analysis of Systems, TACAS, ser, Lecture Notes in Computer Science, vol.6015 ,
Efficient mutation analysis by propagating and partitioning infected execution states, Proceedings of the 2014 International Symposium on Software Testing and Analysis, ISSTA 2014, pp.315-326, 2014. ,
DOI : 10.1145/2610384.2610388
URL : http://homes.cs.washington.edu/~mernst/pubs/state-infection-issta2014.pdf
Principles of model checking, 2008. ,
Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, vol.97, pp.383-404, 2015. ,
DOI : 10.1016/j.scico.2014.05.004
Experimental results from an automatic test case generator, ACM Transactions on Software Engineering and Methodology, vol.2, issue.2, pp.109-127, 1993. ,
DOI : 10.1145/151257.151258
Weak Mutation Testing and Completeness of Test Sets, IEEE Transactions on Software Engineering, vol.8, issue.4, pp.371-379, 1982. ,
DOI : 10.1109/TSE.1982.235571
Automatically detecting equivalent mutants and infeasible paths Software Testing, Verification and Reliability Sound and quasi-complete detection of infeasible test requirements, International Conference on Software Testing, Verification and Validation, pp.165-192, 1997. ,
Mutation-driven test case generation using short-lived concurrent mutants -first results, 1601. ,
Introduction to algorithms, 2001. ,
Approximate Probabilistic Model Checking, Verification, Model Checking, and Abstract Interpretation, 5th International Conference, pp.73-84, 2004. ,
DOI : 10.1007/978-3-540-24622-0_8
Modelling with FTS: a Collection of Illustrative Examples, PReCISE Research Center, 2010. ,
Configuring effective navigation models and abstract test cases for web applications by analysing user behaviour, Software Testing, Verification and Reliability, pp.439-464, 2013. ,
DOI : 10.1109/ISSRE.2004.13
Typical Structural Properties of State Spaces, International SPIN Workshop, ser. LNCS, pp.5-22, 2004. ,
DOI : 10.1007/978-3-540-24732-6_2
Featured model-based mutation analysis, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, 2016. ,
DOI : 10.1145/154183.154265
URL : https://hal.archives-ouvertes.fr/hal-01406512
HKC Library v. 1.0, 2013. ,
Variability Intensive system Behavioural teSting (VIBeS) v. 1.1.4, 2015. ,
Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling, International Conference on Computer Aided Verification, pp.223-235, 2002. ,
DOI : 10.1007/3-540-45657-0_17
Efficient multi-objective higher order mutation testing with genetic programming, Journal of Systems and Software, vol.83, issue.12, pp.2416-2430, 2010. ,
DOI : 10.1016/j.jss.2010.07.027
URL : http://www.cs.ucl.ac.uk/staff/W.Langdon/ftp/papers/langdon_jss.pdf
Generating structured test data with specific properties using nested Monte-Carlo search, Proceedings of the 2014 conference on Genetic and evolutionary computation, GECCO '14, pp.1279-1286, 2014. ,
DOI : 10.1145/2576768.2598339
URL : http://bth.diva-portal.org/smash/get/diva2:834044/FULLTEXT01
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure, ACM Transactions on Software Engineering and Methodology, vol.22, issue.2, pp.1-37, 2013. ,
DOI : 10.1145/2430545.2430549
QUARK: Empirical Assessment of Automaton-based Specification Miners, 2006 13th Working Conference on Reverse Engineering, pp.51-60, 2006. ,
DOI : 10.1109/WCRE.2006.47
URL : http://www.comp.nus.edu.sg/~khoosc/research/wcre06.pdf
Foundations of software testing, 2008. ,
Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation, IEEE Transactions on Software Engineering, vol.40, issue.1, pp.23-42, 2014. ,
DOI : 10.1109/TSE.2013.44
Two notions of correctness and their relation to testing, Acta Informatica, vol.6, issue.3, pp.31-45, 1982. ,
DOI : 10.1109/TSE.1975.6312836
Using compiler optimization techniques to detect equivalent mutants, Software Testing, Verification and Reliability, pp.131-154, 1994. ,
DOI : 10.1109/C-M.1978.218136
URL : http://ise.gmu.edu/faculty/ofut/rsrch/abstracts/../papers/mc-equiv.ps
Using program slicing to assist in the detection of equivalent mutants, Software Testing, Verification and Reliability, pp.233-262, 1999. ,
DOI : 10.1109/WPC.1997.601266
MEDIC: A static analysis framework for equivalent mutant identification, Information and Software Technology, vol.68, pp.1-17, 2015. ,
DOI : 10.1016/j.infsof.2015.07.009
Covering and uncovering equivalent mutants Software Testing, Verification and Reliability, pp.353-374, 2013. ,
DOI : 10.1002/stvr.1473
Mitigating the effects of equivalent mutants with mutant classification strategies, Science of Computer Programming, vol.95, pp.298-319, 2014. ,
DOI : 10.1016/j.scico.2014.05.012
Employing second-order mutation for isolating first-order equivalent mutants Software Testing, Verification and Reliability, pp.508-535, 2015. ,
DOI : 10.1002/stvr.1529
Resolving the equivalent mutant problem in the presence of non-determinism and conicidental correctness, 28th IFIP International Conference on Testing Software and Systems, 2016. ,
Towards Symbolic Model-Based Mutation Testing: Pitfalls in Expressing Semantics as Constraints, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.752-757, 2012. ,
DOI : 10.1109/ICST.2012.169
Mutation based test case generation via a path selection strategy, Information and Software Technology, vol.54, issue.9, pp.915-932, 2012. ,
DOI : 10.1016/j.infsof.2012.02.004
Errors in algebraic specifications and an experimental mutation testing tool, Software Engineering Journal, vol.8, issue.4, pp.221-224, 1993. ,
DOI : 10.1049/sej.1993.0027
Mutation testing applied to validate specifications based on statecharts, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443), pp.210-219, 1999. ,
DOI : 10.1109/ISSRE.1999.809326
Mutation testing from probabilistic and stochastic finite state machines, Journal of Systems and Software, vol.82, issue.11, pp.1804-1818, 2009. ,
DOI : 10.1016/j.jss.2009.06.030
URL : http://bura.brunel.ac.uk/bitstream/2438/4088/1/Fulltext.pdf
Assessing Software Product Line Testing Via Model-Based Mutation: An Application to Similarity Testing, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops, pp.188-197, 2013. ,
DOI : 10.1109/ICSTW.2013.30
Generating Tests for Detecting Faults in Feature Models, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp.1-10, 2015. ,
DOI : 10.1109/ICST.2015.7102591
MoMut::UML Model-Based Mutation Testing for UML, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp.1-8, 2015. ,
DOI : 10.1109/ICST.2015.7102627
Event-Based Mutation Testing vs. State-Based Mutation Testing - An Experimental Comparison, 2011 IEEE 35th Annual Computer Software and Applications Conference, pp.650-655, 2011. ,
DOI : 10.1109/COMPSAC.2011.90
Model-based mutation testing???Approach and case studies, Science of Computer Programming, vol.120, pp.25-48, 2016. ,
DOI : 10.1016/j.scico.2016.01.003