A. Classen, P. Heymans, P. Y. Schobbens, A. Legay, and J. F. Raskin, Model checking <u>lots</u> of systems, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1806799.1806850

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

S. Weißleder and H. Lackner, Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines, Electronic Proceedings in Theoretical Computer Science, vol.111, 2013.
DOI : 10.4204/EPTCS.111.7

T. Thüm, S. Apel, C. Kästner, I. Schaefer, and G. Saake, A Classification and Survey of Analysis Strategies for Software Product Lines, ACM Computing Surveys, vol.47, issue.1, 2014.
DOI : 10.1145/2580950

M. Utting and B. Legeard, Practical Model-based Testing, 2007.

L. Guen, H. Thelin, and T. , Practical experiences with statistical usage testing, In: Software Technology and Engineering Practice, 2003.

X. Devroey, M. Cordy, G. Perrouin, E. Y. Kang, P. Y. Schobbens et al., A Vision for Behavioural Model-Driven Validation of Software Product Lines, pp.208-222, 2012.
DOI : 10.1007/978-3-642-34026-0_16
URL : https://hal.archives-ouvertes.fr/hal-00726121

S. Oster, A. Wubbeke, and G. Engels, Andy Schürr: A survey of model-based software product lines testing. In: MBT for embedded systems, 2011.

H. Samih, M. Acher, R. Bogusch, H. Le-guen, and B. Baudry, Deriving Usage Model Variants for Model-Based Testing: An Industrial Case Study, 2014 19th International Conference on Engineering of Complex Computer Systems, p.14, 2014.
DOI : 10.1109/ICECCS.2014.19
URL : https://hal.archives-ouvertes.fr/hal-01002099

A. Metzger, K. Pohl, P. Heymans, P. Y. Schobbens, and G. Saval, Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.7-243, 2007.
DOI : 10.1109/RE.2007.61

J. Zander-nowicka, Model-Based Testing of Real-Time Embedded Systems in the Automotive Domain, 2009.

L. Guen, H. Marie, R. Thelin, and T. , Reliability estimation for statistical usage testing using markov chains, In: ISSRE, 2004.

M. Utting, A. Pretschner, and B. Legeard, A taxonomy of model-based testing approaches, Software Testing, Verification and Reliability, vol.30, issue.4, pp.297-312, 2012.
DOI : 10.1002/stvr.456
URL : https://hal.archives-ouvertes.fr/hal-00940611

E. Çinlar, Introduction to stochastic processes, 1975.

H. Samih and R. Bogusch, MPLM - MaTeLo product line manager, Proceedings of the 18th International Software Product Line Conference on Companion Volume for Workshops, Demonstrations and Tools, SPLC '14, 2014.
DOI : 10.1145/2647908.2655980
URL : https://hal.archives-ouvertes.fr/hal-01025159

X. Devroey, G. Perrouin, M. Cordy, P. Y. 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, p.14
DOI : 10.1145/2556624.2556635
URL : https://hal.archives-ouvertes.fr/hal-01092958

A. Gotlieb, A. Hervieu, and B. Baudry, Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774, 2012.
DOI : 10.1109/ICST.2012.174

M. F. Johansen, O. Y. Haugen, and F. 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.12-46, 2012.
DOI : 10.1145/2362536.2362547

G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Traon, Automated and scalable twise test case generation strategies for software product lines, p.10
DOI : 10.1109/icst.2010.43