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, pp.1-19, 2014.
DOI : 10.1007/978-3-319-09099-3_1

B. K. Aichernig, H. Brandl, E. Jöbstl, W. Krenn, R. Schlick et al., Killing strategies for model-based mutation testing, Software Testing, Verification and Reliability, vol.7942, issue.5, 2014.
DOI : 10.1002/stvr.1522

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

P. E. Ammann, P. E. Black, and W. Majurski, Using model checking to generate tests from specifications, Proceedings Second International Conference on Formal Engineering Methods (Cat.No.98EX241), pp.46-54, 1998.
DOI : 10.1109/ICFEM.1998.730569

J. H. Andrews, L. C. Briand, Y. Labiche, and A. S. Namin, Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. Software Engineering, IEEE Transactions on, vol.32, issue.8, pp.608-624, 2006.
DOI : 10.1109/tse.2006.83

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

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

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, and W. E. Wong, Basic Operations for Generating Behavioral Mutants, Second Workshop on Mutation Analysis (Mutation 2006, ISSRE Workshops 2006), 2006.
DOI : 10.1109/MUTATION.2006.2

P. E. Black, V. Okun, and Y. Yesha, Mutation operators for specifications, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering, 2000.
DOI : 10.1109/ASE.2000.873653

L. C. Briand, M. D. Penta, and Y. Labiche, Assessing and improving state-based class testing: a series of experiments, IEEE Transactions on Software Engineering, vol.30, issue.11, pp.770-793, 2004.
DOI : 10.1109/TSE.2004.79

T. A. Budd, Mutation Analysis of Program Test Data, p.8025191, 1980.

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

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

A. Classen, M. Cordy, P. Schobbens, P. Heymans, A. Legay et al., Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.391069-1089, 2013.
DOI : 10.1109/TSE.2012.86

M. E. Delamaro and J. C. Maldonado, Proteum/IM 2.0: An Integrated Mutation Testing Environment, Mutation Testing for the New Century, pp.91-101, 2001.
DOI : 10.1007/978-1-4757-5939-6_17

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

X. Devroey, G. Perrouin, M. Cordy, M. Papadakis, A. Legay et al., A variability perspective of mutation analysis, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, pp.841-844, 2014.
DOI : 10.1145/2635868.2666610
URL : https://hal.archives-ouvertes.fr/hal-01087644

X. Devroey, G. Perrouin, M. Cordy, H. Samih, A. Legay et al., Statistical prioritization for software product line testing: an experience report, Software & Systems Modeling, pp.1-19, 2015.
DOI : 10.1109/32.328991

X. Devroey, G. Perrouin, A. Legay, M. Cordy, P. Schobbens et al., Coverage Criteria for Behavioural Testing of Software Product Lines, ISoLA, pp.336-350
DOI : 10.1007/978-3-662-45234-9_24

S. Fabbri, J. C. Maldonado, and M. E. Delamaro, Proteum/FSM: a tool to support finite state machine validation based on mutation testing, Proceedings. SCCC'99 XIX International Conference of the Chilean Computer Science Society, pp.96-104, 1999.
DOI : 10.1109/SCCC.1999.810159

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

G. Fraser and A. Arcuri, Achieving scalable mutation-based generation of whole test suites, Empirical Software Engineering, vol.29, issue.5, pp.1-30, 2014.
DOI : 10.1007/s10664-013-9299-z

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. Harman, Y. Jia, P. Mateo, and M. Polo, Angels and monsters, Proceedings of the 29th ACM/IEEE international conference on Automated software engineering, ASE '14, pp.397-408, 2014.
DOI : 10.1145/2642937.2643008

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

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

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

D. Jackson and M. R. Woodward, Parallel Firm Mutation of Java Programs, Mutation Testing for the New Century, pp.55-61, 2001.
DOI : 10.1007/978-1-4757-5939-6_10

Y. Jia, Higher Order Mutation Testing, Information and Software Technology, vol.51, issue.10, p.2013
DOI : 10.1016/j.infsof.2009.04.016

Y. Jia and M. Harman, An Analysis and Survey of the Development of Mutation Testing. Software Engineering, IEEE Transactions on, vol.37, issue.5, pp.649-678, 2011.

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://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.9648

R. Just, D. Jalali, L. Inozemtseva, M. D. Ernst, R. Holmes et al., Are Mutants a Valid Substitute for Real Faults in Software Testing? In FSE, pp.654-665, 2014.

K. Kang, S. Cohen, J. Hess, W. Novak, and A. S. Peterson, Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990.

K. Kapoor and J. P. Bowen, Ordering Mutants to Minimise Test Effort in Mutation Testing, FATES 2004, pp.195-209, 2004.
DOI : 10.1002/stvr.4370010305

C. H. Kim, S. Khurshid, and D. S. Batory, Shared Execution for Efficiently Testing Product Lines, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, pp.221-230, 2012.
DOI : 10.1109/ISSRE.2012.23

C. H. Kim, D. Marinov, S. Khurshid, D. S. Batory, S. Souto et al., SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2013, pp.257-267, 2013.
DOI : 10.1145/2491411.2491459
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.384.2042

W. Krenn and R. Schlick, Mutation-driven Test Case Generation Using Short-lived Concurrent Mutants ? First Results, 2016.

W. Krenn, R. Schlick, S. Tiran, B. Aichernig, E. Jobstl 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

H. Lackner and M. Schmidt, Towards the assessment of software product line tests, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.62-69, 2014.
DOI : 10.1145/2647908.2655968

H. Lackner, M. Thomas, F. Wartenberg, and S. Weißleder, Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.51-60, 2014.
DOI : 10.1109/ICST.2014.16

W. B. Langdon and M. Harman, Optimizing Existing Software With Genetic Programming, IEEE Transactions on Evolutionary Computation, vol.19, issue.1, pp.118-135, 2015.
DOI : 10.1109/TEVC.2013.2281544

C. , L. Goues, T. Nguyen, S. Forrest, and W. Weimer, GenProg: A generic method for automatic software repair, IEEE Transactions on Software Engineering, vol.38, issue.1, pp.54-72, 2012.

N. Li and J. Offutt, A test automation language framework for behavioral models, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015.
DOI : 10.1109/ICSTW.2015.7107402

Y. Ma, J. Offutt, and Y. R. Kwon, MuJava, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.97-133, 2005.
DOI : 10.1145/1134285.1134425

P. R. Mateo and M. P. Usaola, Reducing mutation costs through uncovered mutants. Software Testing, Verification and Reliability, pp.5-7464, 2014.
DOI : 10.1002/stvr.1534

J. Mottu, B. Baudry, and Y. Le-traon, Mutation Analysis Testing for Model Transformations, LNCS, vol.4066, pp.376-390
DOI : 10.1007/11787044_28
URL : https://hal.archives-ouvertes.fr/hal-00456532

H. V. Nguyen, C. Kästner, and T. N. Nguyen, Exploring variability-aware execution for testing plugin-based web applications, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.907-918, 2014.
DOI : 10.1145/2568225.2568300
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.433.384

A. J. Offutt, S. Liu, A. Abdurazik, and P. Ammann, Generating test data from state-based specifications. Softwre Testing, Verification and Reliability, pp.25-53, 2003.
DOI : 10.1002/stvr.264

J. Offutt, A mutation carol: Past, present and future. Information and Software Technology, pp.1098-1107, 2011.

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

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

M. Papadakis and Y. Le-traon, Metallaxis-FL: mutation-based fault localization. Software Testing, Verification and Reliability, 2013.
DOI : 10.1002/stvr.1509

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

M. Papadakis and N. Malevris, Automatically performing weak mutation with the aid of symbolic execution, concolic testing and search-based testing, Software Quality Journal, vol.19, issue.4, pp.691-723, 2011.
DOI : 10.1007/s11219-011-9142-y

R. Pelánek, Typical Structural Properties of State Spaces, Model Checking Software, pp.5-22, 2004.
DOI : 10.1007/978-3-540-24732-6_2

R. Pelánek, Properties of state spaces and their applications, International Journal on Software Tools for Technology Transfer, vol.298, issue.5594, pp.443-454, 2008.
DOI : 10.1007/s10009-008-0070-5

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007.
DOI : 10.1016/j.comnet.2006.08.008

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.

R. H. Untch, A. J. Offutt, and M. J. Harrold, Mutation analysis using mutant schemata, ISSTA, pp.139-148, 1993.
DOI : 10.1145/154183.154265

M. Utting and B. Legeard, Practical Model-Based Testing: A Tools Approach, 2007.

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

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