P. Asirelli, M. H. Ter-beek, A. Fantechi, S. Gnesi, and F. Mazzanti, Design and validation of variability in product lines, Proceeding of the 2nd international workshop on Product line approaches in software engineering, PLEASE '11, pp.25-30, 2011.
DOI : 10.1145/1985484.1985492

P. Asirelli, M. H. Ter-beek, S. Gnesi, and A. Fantechi, Formal Description of Variability in Product Families, 2011 15th International Software Product Line Conference, pp.130-139, 2011.
DOI : 10.1109/SPLC.2011.34

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

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

A. Classen, P. Heymans, P. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, 2011.
DOI : 10.1145/1985793.1985838
URL : https://hal.archives-ouvertes.fr/hal-01087657

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

M. Cohen, M. Dwyer, and J. Shi, Interaction testing of highly-configurable systems in the presence of constraints, Proceedings of the 2007 international symposium on Software testing and analysis, ISSTA '07, pp.129-139, 2007.
DOI : 10.1145/1273463.1273482

M. B. Cohen, M. B. Dwyer, and J. Shi, Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006.
DOI : 10.1145/1147249.1147257

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007.
DOI : 10.1109/SPLINE.2007.24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.9891

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

A. Feliachi and H. Le-guen, Generating Transition Probabilities for Automatic Model-Based Test Generation, 2010 Third International Conference on Software Testing, Verification and Validation, pp.99-102, 2010.
DOI : 10.1109/ICST.2010.26

D. Fischbein, S. Uchitel, and V. Braberman, A foundation for behavioural conformance in software product line architectures, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.39-48, 2006.
DOI : 10.1145/1147249.1147254

S. Gouraud, A. Denise, M. Gaudel, and B. Marre, A new way of automating statistical testing methods, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), 2001.
DOI : 10.1109/ASE.2001.989785

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le-traon, Multi-objective test generation for software product lines, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, p.2013
DOI : 10.1145/2491627.2491635

M. F. Johansen, Ø. Haugen, F. Fleurey, A. G. Eldegard, and T. Syversen, Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines, MoDELS '12, pp.269-284, 2012.
DOI : 10.1007/978-3-642-33666-9_18

K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. Spencer-peterson, Feature-Oriented domain analysis (FODA) feasibility study, Soft. Eng. Inst, 1990.

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

K. Lauenroth, K. Pohl, S. Toehning, M. Lochau, S. Oster et al., Model checking of domain artifacts in product line engineering Model-based pairwise testing for feature interaction coverage in software product line engineering, ASE '09, pp.269-2803, 2009.

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

R. Michel, A. Classen, A. Hubaux, and Q. Boucher, A formal semantics for feature cardinalities in feature diagrams, Proceedings of the 5th Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '11, pp.82-89, 2011.
DOI : 10.1145/1944892.1944902

J. D. Musa, G. Fuoco, N. Irving, D. Kropfl, and B. Juhlin, The Operational Profile, NATO ASI series F Comp. and Syst. Sc, vol.154, pp.333-344, 1996.
DOI : 10.1007/978-3-662-03274-9_18

S. Oster, A. Wöbbeke, G. Engels, and A. Schürr, A Survey of Model-Based Software Product Lines Testing, Model-Based Testing for Embedded Systems, pp.339-382, 2011.
DOI : 10.1201/b11321-14

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.3-4605, 2012.
DOI : 10.1007/s11219-011-9160-9
URL : https://hal.archives-ouvertes.fr/hal-00805856

H. Samih and B. Baudry, Relating variability modelling and model-based testing for software product lines testing, ICTSS '12 Doctoral Symposium, 2012.

S. Sampath, R. Bryce, G. Viswanath, V. Kandimalla, and A. Koru, Prioritizing User-Session-Based Test Cases for Web Applications Testing, 2008 International Conference on Software Testing, Verification, and Validation, pp.141-150, 2008.
DOI : 10.1109/ICST.2008.42

R. R. Sarukkai, Link prediction and path analysis using Markov chains, Computer Networks, vol.33, issue.1-6, pp.377-386, 2000.
DOI : 10.1016/S1389-1286(00)00044-X

P. Thévenod-fosse and H. Waeselynck, An investigation of statistical software testing, Software Testing, Verification and Reliability, vol.10, issue.2, pp.5-25, 1991.
DOI : 10.1002/stvr.4370010203

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

M. Utting and B. Legeard, Practical model-based testing: a tools approach, 2007.

S. Verwer, R. Eyraud, and C. Higuera, PAutomaC: a probabilistic automata and hidden Markov models learning competition, Machine Learning, pp.1-26, 2013.
DOI : 10.1007/s10994-013-5409-9
URL : https://hal.archives-ouvertes.fr/hal-00873981

A. Von-rhein, S. Apel, C. Kästner, T. Thüm, and I. Schaefer, The PLA model, Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '13, 2013.
DOI : 10.1145/2430502.2430522

J. A. Whittaker and M. G. Thomason, A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, vol.20, issue.10, pp.812-824, 1994.
DOI : 10.1109/32.328991