M. Acher, A. Cleve, G. Perrouin, P. Heymans, C. Vanbeneden et al., On extracting feature models from product descriptions, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.45-54
DOI : 10.1145/2110147.2110153

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

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, M. Weiglhofer, and F. Wotawa, Improving Fault-based Conformance Testing, Electronic Notes in Theoretical Computer Science, vol.220, issue.1, pp.63-77, 2008.
DOI : 10.1016/j.entcs.2008.11.006

P. Ammann, M. E. Delamaro, and J. Offutt, Establishing Theoretical Minimal Sets of Mutants, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, pp.21-30, 2014.
DOI : 10.1109/ICST.2014.13

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

N. Bombieri, F. Fummi, and G. Pravadelli, A mutation model for the SystemC TLM 2.0 communication interfaces, DATE, pp.396-401, 2008.

Q. Boucher, G. Perrouin, and P. Heymans, Deriving configuration interfaces from feature models, Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems, VaMoS '12, pp.37-44
DOI : 10.1145/2110147.2110152

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

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. 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. 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

M. Cordy, A. Classen, G. Perrouin, P. Schobbens, P. Heymans 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

R. A. Demillo and A. J. Offutt, Constraint-based automatic test data generation, IEEE Transactions on Software Engineering, vol.17, issue.9, pp.900-910, 1991.
DOI : 10.1109/32.92910

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

S. C. Fabbri, J. C. Maldonado, P. C. Masiero, 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. C. 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

C. Henard, M. Papadakis, G. Perrouin, J. Klein, and Y. Le-traon, Towards automated testing and fixing of re-engineered Feature Models, 2013 35th International Conference on Software Engineering (ICSE), pp.1245-1248, 2013.
DOI : 10.1109/ICSE.2013.6606689

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

Y. Jia and M. Harman, MILU: A Customizable, Runtime-Optimized Higher Order Mutation Testing Tool for the Full C Language, Testing: Academic & Industrial Conference, Practice and Research Techniques (taic part 2008), pp.94-98, 2008.
DOI : 10.1109/TAIC-PART.2008.18

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, F. Fleurey, A. G. Eldegard, and T. Syversen, Generating Better Partial Covering Arrays by Modeling Weights on Sub-product Lines, MoDELS, 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. Kästner, A. Von-rhein, S. Erdweg, J. Pusch, S. Apel et al., Toward variability-aware testing, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, FOSD '12, pp.1-8, 2012.
DOI : 10.1145/2377816.2377817

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

D. Lorenzoli, L. Mariani, and M. Pezzè, Automatic generation of software behavioral models, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.501-510, 2008.
DOI : 10.1145/1368088.1368157

L. Madeyski, W. Orzeszyna, R. Torkar, and M. Jozala, Overcoming the Equivalent Mutant Problem: A Systematic Literature Review and a Comparative Experiment of Second Order Mutation, IEEE Transactions on Software Engineering, vol.40, issue.1, pp.23-42, 2014.
DOI : 10.1109/TSE.2013.44

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, 2014.
DOI : 10.1145/2568225.2568300

J. Offutt, A mutation carol: Past, present and future, Information and Software Technology, vol.53, issue.10, pp.1098-1107, 2011.
DOI : 10.1016/j.infsof.2011.03.007

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

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