J. H. Andrews, L. C. Briand, Y. Labiche, and A. S. Namin, 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

J. Offutt, 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

M. Gligoric, A. Groce, C. Zhang, R. Sharma, M. A. Alipour et al., 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

M. Papadakis and N. Malevris, 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

G. Fraser and A. Arcuri, Achieving scalable mutation-based generation of whole test suites, Empirical Software Engineering, pp.1-30, 2014.
DOI : 10.1109/ICSM.2010.5609672

R. Just, D. Jalali, L. Inozemtseva, M. D. Ernst, R. Holmes et al., 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

R. Baker and I. Habli, 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

M. Papadakis, C. Henard, and Y. Le-traon, 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

T. A. Budd and A. S. , Program testing by specification mutation, Computer Languages, vol.10, issue.1, pp.63-73, 1985.
DOI : 10.1016/0096-0551(85)90011-6

W. E. Howden, 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

J. M. Voas and G. Mcgraw, Software Fault Injection: Inoculating Programs Against Errors, 1997.

B. K. Aichernig, J. Auer, E. Jöbstl, R. Korosec, W. Krenn et al., 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

M. Papadakis, Y. Jia, M. Harman, and Y. Le-traon, 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

Y. Jia and M. Harman, 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

O. Kupferman and M. Y. Vardi, Verification of fair transition systems, Computer Aided Verification, pp.372-382, 1996.
DOI : 10.1007/3-540-61474-5_84

F. Bonchi and D. Pous, 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

L. Doyen and J. Raskin, 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

R. Just, M. D. Ernst, and G. Fraser, 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

C. Baier and J. Katoen, Principles of model checking, 2008.

B. K. Aichernig, E. Jöbstl, and S. Tiran, 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

R. A. Demillo and A. J. Offutt, 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

W. E. Howden, 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

A. J. Offutt, J. Pan, S. Bardin, M. Delahaye, R. David et al., 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.

W. Krenn and R. Schlick, Mutation-driven test case generation using short-lived concurrent mutants -first results, 1601.

T. H. Cormen, C. E. Leiserson, R. L. Rivest, and C. Stein, Introduction to algorithms, 2001.

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, 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

A. Classen, Modelling with FTS: a Collection of Illustrative Examples, PReCISE Research Center, 2010.

S. E. Sprenkle, L. L. Pollock, and L. M. Simko, 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

R. Pelánek, Typical Structural Properties of State Spaces, International SPIN Workshop, ser. LNCS, pp.5-22, 2004.
DOI : 10.1007/978-3-540-24732-6_2

X. Devroey, G. Perrouin, M. Papadakis, P. Schobbens, and P. Heymans, 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

F. Bonchi and D. Pous, HKC Library v. 1.0, 2013.

X. Devroey and G. Perrouin, Variability Intensive system Behavioural teSting (VIBeS) v. 1.1.4, 2015.

H. L. Younes and R. G. Simmons, 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

W. B. Langdon, M. Harman, and Y. Jia, 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

S. M. Poulding and R. Feldt, 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

N. Walkinshaw and K. Bogdanov, 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

D. Lo and S. C. Khoo, 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

A. P. Mathur, Foundations of software testing, 2008.

L. Madeyski, W. Orzeszyna, R. Torkar, and M. Jozala, 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

T. A. Budd and D. Angluin, 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

A. J. Offutt and W. M. Craft, 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

R. M. Hierons, M. Harman, and S. Danicic, 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

M. Kintis and N. Malevris, 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

D. Schuler and A. Zeller, Covering and uncovering equivalent mutants Software Testing, Verification and Reliability, pp.353-374, 2013.
DOI : 10.1002/stvr.1473

M. Papadakis, M. E. Delamaro, and Y. Le-traon, 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

M. Kintis, M. Papadakis, and N. Malevris, Employing second-order mutation for isolating first-order equivalent mutants Software Testing, Verification and Reliability, pp.508-535, 2015.
DOI : 10.1002/stvr.1529

K. Patel and R. M. Hierons, Resolving the equivalent mutant problem in the presence of non-determinism and conicidental correctness, 28th IFIP International Conference on Testing Software and Systems, 2016.

B. K. Aichernig and E. Jobstl, 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

M. Papadakis and N. Malevris, 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

M. R. Woodward, 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

S. Fabbri, J. C. Maldonado, T. Sugeta, and P. C. Masiero, 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

R. M. Hierons and M. G. Merayo, 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

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le-traon, 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

P. Arcaini, A. Gargantini, and P. Vavassori, 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

W. Krenn, R. Schlick, S. Tiran, B. K. Aichernig, E. Jöbstl et al., 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

F. Belli and M. Beyazit, 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

F. Belli, C. J. Budnik, A. Hollmann, T. Tuglular, and W. E. Wong, 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