J. H. Andrews, L. C. Briand, and Y. Labiche, Is mutation an appropriate tool for testing experiments?, Proceedings of the 27th International Conference on Software Engineering. pp. 402411. ICSE '05, 2005.
DOI : 10.1145/1062455.1062530

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

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, p.608624, 2006.
DOI : 10.1109/TSE.2006.83

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

R. V. Binder, Testing Object-Oriented Systems: Models, Patterns, and Tools, 1999.

L. C. Briand, M. D. Penta, and Y. Labiche, Assessing and improving state-based class testing: a series of experiments. Software Engineering, IEEE Transactions on, vol.30, issue.11, p.770783, 2004.

H. Cichos and T. S. Heinze, Ecient Reduction of Model-Based Generated Test Suites Through Test Case Pair Prioritization, Proceedings of the 7th International Workshop on Model-Driven Engineering, Verication and Validation (MoDeVVa 10, p.3742, 2011.

H. Cichos, M. Lochau, S. Oster, and A. Schürr, Reduktion von Testsuiten für Software-Produktlinien Software Engineering 2012: Fachtagung des GI-Fachbereichs Softwaretechnik, März 2012 in Berlin. LNI, p.143154, 2012.

A. Classen, P. Heymans, P. Y. Schobbens, and A. Legay, Symbolic model checking of software product lines, Proceeding of the 33rd international conference on Software engineering, ICSE '11, p.321330, 2011.
DOI : 10.1145/1985793.1985838

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

K. Czarnecki and M. Antkiewicz, Mapping Features to Models: A Template Approach Based on Superimposed Variants, Generative programming and component engineering, p.422437, 2005.
DOI : 10.1007/11561347_28

K. Czarnecki and A. Wasowski, Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), p.2334, 2007.
DOI : 10.1109/SPLINE.2007.24

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

R. A. Demillo, Mutation Analysis as a Tool for Software Quality Assurance, In: COMPSAC', p.80, 1980.

H. Grönniger, H. Krahn, C. Pinkernell, and B. Rumpe, Modeling Variants of Automotive Systems using Views, LNI, Gesellschaft für Informatik, pp.12-14, 2008.

N. E. Holt, R. Torkar, L. C. Briand, and K. Hansen, State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies, 2012 IEEE 23rd International Symposium on Software Reliability Engineering, p.321330, 2012.
DOI : 10.1109/ISSRE.2012.17

H. Lackner, M. Thomas, F. Wartenberg, and S. Weiÿleder, Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation, p.5160, 2014.
DOI : 10.1109/ICST.2014.16

S. Mouchawrab, L. C. Briand, Y. Labiche, D. Penta, and M. , Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments, IEEE Transactions on Software Engineering, vol.37, issue.2, p.161187, 2011.
DOI : 10.1109/TSE.2010.32

S. Oster, A. Wubbeke, G. Engels, and A. Schürr, A Survey of Model-Based Software Product Lines Testing Model-based testing for embedded systems Computational analysis, synthesis, and design of dynamic systems, Boca Raton, p.339384, 2011.

A. Paradkar, Case studies on fault detection eectiveness of model based test generation techniques, Proceedings of the 1st International Workshop on Advances in Model-based Testing. pp. 17. A-MOST '05, 2005.

J. Peleska, RT-Tester Model-Based Test Case and Test Data Generator: User Manual: Version, 2013.

K. Pohl, G. Böckle, . Linden, and J. Frank, van der: Software Product Line Engineering: Foundations, Principles and Techniques, 2005.

S. Namin, A. Andrews, J. H. Murdoch, and D. J. , Sucient mutation operators for measuring test eectiveness, Proceedings of the 30th International Conference on Software Engineering, p.35136008, 2008.

B. H. Smith and L. Williams, Should software testers use mutation analysis to augment a test set?, Journal of Systems and Software, vol.82, issue.11, p.18191832, 2009.
DOI : 10.1016/j.jss.2009.06.031

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

S. Weiÿleder and H. Schlinglo, An Evaluation of Model-Based Testing in Embedded Applications, ICST' 14: International Conference on Software Testing , Verication, and Validation, 2014.

M. Utting and B. Legeard, Practical model-based testing: A tools approach, 2006.

S. Weiÿleder, Simulated Satisfaction of Coverage Criteria on UML State Machines, ICST -3rd International Conference on Software Testing, Verication and Validation, 2010.

S. Weiÿleder and H. Schlinglo, Automatic Model-Based Test Generation from UML State Machines Modelbased testing for embedded systems. Computational analysis, synthesis, and design of dynamic systems, Boca Raton, 2011.

J. Zander, I. Schieferdecker, and P. J. Mosterman, A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domainseds.) Model-based testing for embedded systems . Computational analysis, synthesis, and design of dynamic systems, Boca Raton, 2011.