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

H. Beohar and M. 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

H. Beohar, M. Varshosaz, and M. R. Mousavi, Basic behavioral models for software product lines: Expressiveness and testing pre-orders, Science of Computer Programming, vol.123, pp.42-60, 2016.
DOI : 10.1016/j.scico.2015.06.005
URL : https://doi.org/10.1016/j.scico.2015.06.005

A. Classen, Modelling and Model Checking Variability-Intensive Systems, 2011.

A. Classen, Q. Boucher, and P. Heymans, A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.1130-1143, 2011.
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291

A. Classen, M. Cordy, P. Heymans, A. Legay, and P. Schobbens, Model checking software product lines with SNIP, International Journal on Software Tools for Technology Transfer, vol.41, issue.1, pp.589-612, 2012.
DOI : 10.1016/S0167-6423(00)00018-6
URL : https://hal.archives-ouvertes.fr/hal-00717956

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, p.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, pp.321-330, 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. Cordy, Model Checking for the Masses, 2014.

M. Cordy, A. Classen, P. Heymans, P. Schobbens, and A. Legay, Managing evolution in software product lines, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.183-191, 2012.
DOI : 10.1145/2110147.2110168
URL : https://hal.archives-ouvertes.fr/hal-00718216

M. Cordy, A. Classen, G. Perrouin, P. Heymans, P. Schobbens et al., Simulation-based abstractions for software product-line model checking, 2012 34th International Conference on Software Engineering (ICSE), pp.672-682, 2012.
DOI : 10.1109/ICSE.2012.6227150
URL : https://hal.archives-ouvertes.fr/hal-01087659

M. Cordy, P. Heymans, A. Legay, P. Schobbens, B. Dawagne et al., Counterexample guided abstraction refinement of product-line behavioural models, Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014, 2014.
DOI : 10.1145/2635868.2635919
URL : https://hal.archives-ouvertes.fr/hal-01087789

M. Cordy, P. Heymans, P. Schobbens, and A. Legay, Behavioural modelling and verification of real-time software product lines, Proceedings of the 16th International Software Product Line Conference on, SPLC '12 -volume 1, 2012.
DOI : 10.1145/2362536.2362549
URL : https://hal.archives-ouvertes.fr/hal-00718157

M. Cordy, P. Schobbens, P. Heymans, and A. Legay, Beyond boolean productline model checking: Dealing with feature attributes and multi-features, ICSE'13, pp.472-481, 2013.
DOI : 10.1109/icse.2013.6606593
URL : https://hal.archives-ouvertes.fr/hal-01087792

M. Cordy, P. Schobbens, P. Heymans, 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

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
URL : https://hal.archives-ouvertes.fr/hal-01642289

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, pp.1-107, 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, Lecture Notes in Computer Science, vol.1, issue.8802, pp.336-350, 2014.
DOI : 10.1007/978-3-662-45234-9_24

X. Devroey, G. Perrouin, A. Legay, P. Schobbens, and P. Heymans, Covering SPL Behaviour with Sampled Configurations, Proceedings of the Ninth International Workshop on Variability Modelling of Software-intensive Systems, VaMoS '15, p.59, 2015.
DOI : 10.1145/2430502.2430522

X. Devroey, G. Perrouin, M. Papadakis, A. Legay, P. Schobbens et al., Featured model-based mutation analysis, Proceedings of the 38th International Conference on Software Engineering, ICSE '16, pp.655-666, 2016.
DOI : 10.1145/154183.154265
URL : https://hal.archives-ouvertes.fr/hal-01406512

X. Devroey, G. Perrouin, P. Schobbens, and P. Heymans, Poster: VIBeS, Transition System Mutation Made Easy, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.817-818, 2015.
DOI : 10.1109/ICSE.2015.263

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.40650-670, 2014.
DOI : 10.1109/TSE.2014.2327020

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

G. J. Holzmann, The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2004.
DOI : 10.1109/32.588521

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

M. F. Johansen, Ø. Haugen, and F. Fleurey, Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, MoDELS, pp.638-652, 2011.
DOI : 10.1109/TSE.2010.30

K. Kang, S. Cohen, J. Hess, W. Novak, and S. Peterson, Feature-oriented domain analysis (FODA) feasibility study, 1990.
DOI : 10.21236/ADA235785

R. Olaechea, U. Fahrenberg, J. M. Atlee, and A. Legay, Long-term average cost in featured transition systems, Proceedings of the 20th International Systems and Software Product Line Conference on, SPLC '16, pp.109-118, 2016.
DOI : 10.1109/ASE.2009.16
URL : https://hal.archives-ouvertes.fr/hal-01406541

G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. L. Traon, Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, 2010 Third International Conference on Software Testing, Verification and Validation, pp.459-468, 2010.
DOI : 10.1109/ICST.2010.43
URL : http://www.irisa.fr/triskell/publis/2010/Perrouin010a.pdf

G. N. Rodrigues, V. Alves, V. Nunes, A. Lanna, M. Cordy et al., Modeling and Verification for Probabilistic Properties in Software Product Lines, 2015 IEEE 16th International Symposium on High Assurance Systems Engineering, pp.173-180, 2015.
DOI : 10.1109/HASE.2015.34

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, pp.138-142, 2014.
DOI : 10.1145/2647908.2655980
URL : https://hal.archives-ouvertes.fr/hal-01025159

P. Schobbens, P. Heymans, J. Trigaux, and Y. Bontemps, Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), pp.139-148, 2006.
DOI : 10.1109/RE.2006.23

M. Y. Vardi and P. Wolper, An automata-theoretic approach to automatic program verification, LICS'86, pp.332-344, 1986.
DOI : 10.1007/3-540-50403-6_33

J. Whittaker, G. Thomason, and M. , A Markov chain model for statistical software testing. Software Engineering, IEEE Transactions on, vol.20, issue.10, pp.812-824, 1994.
DOI : 10.1109/32.328991
URL : http://team4model.googlecode.com/svn/trunk/resources/paper/A Markov chain model for statistical software testing.pdf