M. Al-hajjaji, T. Thüm, J. Meinicke, M. Lochau, and G. Saake, Similarity-based prioritization in software product-line testing, Proceedings of the 18th International Software Product Line Conference on, SPLC '14, pp.197-206, 2014.
DOI : 10.1145/2648511.2648532

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.138.258

H. Beohar and M. R. Mousavi, Input-output conformance testing based on featured transition systems, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC '14, pp.1272-1278, 2014.
DOI : 10.1145/2554850.2554949

D. Brockhoff, T. Friedrich, and F. Neumann, Analyzing Hypervolume Indicator Based Algorithms, Parallel Problem Solving from Nature ? PPSN X, pp.651-660, 2008.
DOI : 10.1007/978-3-540-87700-4_65

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.1808

E. G. Cartaxo, P. D. Machado, and F. G. Neto, On the use of a similarity function for test case selection in the context of model-based testing, Software Testing, Verification and Reliability, vol.12, issue.13, pp.75-100, 2011.
DOI : 10.1002/stvr.413

T. Y. Chen, F. Kuo, R. G. Merkel, and T. Tse, Adaptive Random Testing: The ART of test case diversity, Journal of Systems and Software, vol.83, issue.1, pp.60-66, 2010.
DOI : 10.1016/j.jss.2009.02.022

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.1069-1089, 2013.
DOI : 10.1109/TSE.2012.86

M. Cordy, A. Classen, P. Heymans, P. Schobbens, and A. Legay, ProVeLines, Proceedings of the 17th International Software Product Line Conference co-located workshops on, SPLC '13 Workshops, pp.141-146, 2013.
DOI : 10.1145/2499777.2499781

URL : https://hal.archives-ouvertes.fr/hal-00931670

P. A. Da-mota-silveira-neto, I. Do-carmo-machado, J. D. Mcgregor, E. S. De-almeida, S. R. De-lemos et al., A systematic mapping study of software product lines testing, Information and Software Technology, vol.53, issue.5, pp.53407-423, 2011.
DOI : 10.1016/j.infsof.2010.12.003

X. Devroey and G. Perrouin, Variability Intensive system Behavioural teSting framework (VIBeS), 2014

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, P. Schobbens, A. Legay et al., Towards statistical prioritization for software product lines testing, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems, VaMoS '14, 2014.
DOI : 10.1145/2556624.2556635

URL : https://hal.archives-ouvertes.fr/hal-01092958

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, 2014.
DOI : 10.1007/978-3-662-45234-9_24

X. Devroey, G. Perrouin, and P. Schobbens, Abstract test case generation for behavioural testing of software product lines, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, pp.86-93, 2014.
DOI : 10.1145/2647908.2655971

S. Droste, T. Jansen, and I. Wegener, On the analysis of the (1+1) evolutionary algorithm, Theoretical Computer Science, vol.276, issue.1-2, pp.51-81, 2002.
DOI : 10.1016/S0304-3975(01)00182-7

E. Engström and P. Runeson, Software product line testing ??? A systematic mapping study, Information and Software Technology, vol.53, issue.1, pp.2-13, 2011.
DOI : 10.1016/j.infsof.2010.05.011

D. Gusfield, Algorithms on strings, trees and sequences: computer science and computational biology, 1997.
DOI : 10.1017/CBO9780511574931

H. Hemmati, A. Arcuri, and L. Briand, Achieving scalable model-based testing through test case diversity, ACM Transactions on Software Engineering and Methodology, vol.22, issue.1, pp.1-42, 2013.
DOI : 10.1145/2430536.2430540

H. Hemmati and L. Briand, An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection, 2010 IEEE 21st International Symposium on Software Reliability Engineering, pp.141-150, 2010.
DOI : 10.1109/ISSRE.2010.9

C. Henard, M. Papadakis, M. Harman, and Y. L. Traon, Combining Multi-Objective Search and Constraint Solving for Configuring Large Software Product Lines, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.517-528, 2015.
DOI : 10.1109/ICSE.2015.69

C. Henard, M. Papadakis, G. Perrouin, J. Klein, P. Heymans et al., Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines, IEEE Transactions on Software Engineering, vol.40, issue.7, pp.650-670, 2014.
DOI : 10.1109/TSE.2014.2327020

C. Henard, M. Papadakis, G. Perrouin, J. Klein, Y. Le-traon et al., 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-197547, 1901.
DOI : 10.1109/ICSTW.2013.30

M. F. Johansen, F. Haugen, and . Fleurey, An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, pp.46-55, 2012.
DOI : 10.1145/2362536.2362547

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

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

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

M. Lochau, S. Oster, U. Goltz, and A. Schürr, Model-based pairwise testing for feature interaction coverage in software product line engineering, Software Quality Journal, vol.82, issue.3-4, pp.567-604, 2011.
DOI : 10.1007/s11219-011-9165-4

M. Lochau, I. Schaefer, J. Kamischke, and S. Lity, Incremental Model-Based Testing of Delta-Oriented Software Product Lines, TAP, pp.67-82, 2012.
DOI : 10.1007/978-3-642-30473-6_7

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

D. Mondal, H. Hemmati, and S. Durocher, Exploring Test Suite Diversification and Code Coverage in Multi-Objective Test Case Selection, 2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), pp.1-10, 2015.
DOI : 10.1109/ICST.2015.7102588

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

G. Perrouin, S. Oster, S. Sen, J. Klein, B. Baudry et al., Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.82, issue.8, pp.605-643, 2011.
DOI : 10.1007/s11219-011-9160-9

URL : https://hal.archives-ouvertes.fr/hal-00805856

S. C. Pinto-ferraz-fabbri, M. E. Delamaro, J. C. Maldonado, and P. C. Masiero, Mutation analysis testing for finite state machines, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering, pp.220-229, 1994.
DOI : 10.1109/ISSRE.1994.341378

M. Steffens, S. Oster, M. Lochau, and T. Fogdal, Industrial evaluation of pairwise SPL testing with MoSo-PoLiTe, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.55-62, 2012.
DOI : 10.1145/2110147.2110154

J. Tretmans, Model based testing with labelled transition systems. Formal methods and testing, pp.1-38, 2008.
DOI : 10.1007/978-3-540-78917-8_1

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.415.621