A. Bertolino, A. Fantechi, A. Gnesi, G. Lami, and A. Maccari, Use case description of requirements for product lines, Proceedings of the International Workshop on Requirements Engineering for Product Lines, pp.12-19, 2002.

A. Bertolino and S. Gnesi, Use case-based testing of product lines, Proceedings of the 9th European Software Engineering Conference held jointly with 10th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp.355-358, 2003.

R. V. Binder, Testing Object-Oriented Systems, 2000.

L. Briand and Y. Labiche, A UML-based approach to system testing, J. Softw. Syst. Model, pp.10-42, 2002.

S. Bühne, G. Halmans, and K. Pohl, Modelling dependencies between variation points in use case diagrams, Proceedings of the 9th International Workshop on Requirements Engineering: Foundation For Software Quality ? REFSQ'03, 2003.

P. Clements and L. Northrop, Software Product Lines: Practices and Patterns, 2001.

A. Cockburn, Structuring use cases with goals. J. Object-Oriented Program, pp.35-40, 1997.

D. Souza, D. F. Wills, and A. C. , Objects, Component, and Frameworks with UML: The Catalysis Approach, Chapter Interaction Models: Uses Cases, Actions, and Collaborations, 1999.

P. Fröhlich and J. Link, Automated Test Case Generation from Dynamic Models, Proceedings of the 14th European Conference on Object-Oriented Programming, 2000.
DOI : 10.1007/3-540-45102-1_23

H. Gomaa and M. E. Shin, Multiple-view meta-modeling of software product lines, Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings., pp.238-246, 2002.
DOI : 10.1109/ICECCS.2002.1181517

G. Halmans and K. Pohl, Communicating the variability of a software-product family to customers, Software and Systems Modeling, vol.2, issue.1, pp.15-36, 2003.
DOI : 10.1007/s10270-003-0019-9

C. Jard and T. Jéron, TGV: theory, principles and algorithms, Proceedings of the 6th World Conference on Integrated Design and Process Technology, 2002.
DOI : 10.1007/s10009-004-0153-x

I. John and D. Muthig, Product line modeling with generic use cases, Proceedings of SPLC2 Workshop on Techniques for Exploiting Commonality Through Variability Management, 2002.

E. Kamsties, K. Pohl, S. Reis, and A. Reuys, Testing Variabilities in Use Case Models, Proceedings of the Fifth Workshop on Product Family Engineering, 2003.
DOI : 10.1007/978-3-540-24667-1_2

Y. Ledru, L. Du-bousquet, O. Maury, and P. Bontron, Filtering TOBIAS Combinatorial Test Suites, Proceedings of ETAPS/FASE'04 ? Fundamental Approaches to Software Engineering, 2004.
DOI : 10.1007/978-3-540-24721-0_21

D. Lugato, Validation and automatic test generation on UML models: the AGATHA approach, International Journal on Software Tools for Technology Transfer, vol.1, issue.1/2, 2002.
DOI : 10.1007/s100090050009

D. Lugato, F. Maraux, Y. Le-traon, V. Normand, J. P. Gallois et al., Automated functional test case synthesis from THALES industrial requirements, Proceedings. RTAS 2004. 10th IEEE Real-Time and Embedded Technology and Applications Symposium, 2004., 2004.
DOI : 10.1109/RTTAS.2004.1317254

A. Acknowledgments-timo-käkölä, A. Metzger, and . Tevanlinna, which significantly improved the data. Currently, our approach needs to be manually fed with the test data for the test generation and the simulation. Since the existing research work in the field principally aims at generating relevant test data for product line testing, future research can couple our approach with the existing work concerning test data generation and experiment the efficiency of the generated tests. Finally, our approach needs to be validated with real-world case studies

C. Nebut, S. Pickin, Y. Le-traon, and J. M. Jézéquel, Automated requirements-based generation of test cases for product families, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ASE.2003.1240317
URL : https://hal.archives-ouvertes.fr/hal-00794804

S. Pickin, C. Jard, Y. Le-traon, T. Jéron, J. M. Jézéquel et al., System Test Synthesis from UML Models of Distributed Software, Proceedings of the 22nd Conference on Formal Techniques for Networked and Distributed Systems (FORTE'02), 2002.
DOI : 10.1007/3-540-36135-9_7
URL : https://hal.archives-ouvertes.fr/hal-00794606

A. Reuys, E. Kamsties, K. Pohl, and S. Reis, Model-Based System Testing of Software Product Families, Proceedings of the 17th Conference on Advanced Information Systems Engineering (CaiSE'05), 2005.
DOI : 10.1007/11431855_36

J. Ryser and M. Glinz, Scent ? a method employing scenarios to systematically derive test cases for system test, 2000.

A. Tevanlinna, Product family testing, ACM SIGSOFT Software Engineering Notes, vol.29, issue.2, 2004.
DOI : 10.1145/979743.979766

K. Weidenhaupt, Scenario usage in system development: a report on current practice, Proceedings of IEEE International Symposium on Requirements Engineering: RE '98, 1998.
DOI : 10.1109/ICRE.1998.667829

T. Ziadi, L. Hélouet, and J. M. Jézéquel, Behaviors generation from product lines requirements, Proceedings UML2004 Workshop on Software Architecture Description, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00795037

J. D. Mcgregor, Testing a Software Product Line, 2001.
DOI : 10.1007/978-3-642-14335-9_4

J. D. Mcgregor, Building Reusable Test Assets for a Product Line, Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools, pp.345-346, 2002.
DOI : 10.1007/3-540-46020-9_35

J. D. Mcgregor and D. A. Sykes, A Practical Guide to Testing Object-Oriented Software, 2001.

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

H. Muccini and A. Van-der-hoek, Towards testing product line architectures Test and Analysis of Component Based Systems, Proceedings of the ETAPS03 Workshop, 2003.

C. Nebut, F. Fleurey, Y. Le-traon, and J. M. Jézéquel, A Requirement-Based Approach to Test Product Families, Proceedings of the 5th Workshop on Product Families Engineering (PFE-05, 2003.
DOI : 10.1007/978-3-540-24667-1_15
URL : https://hal.archives-ouvertes.fr/hal-00794799

C. Nebut, F. Fleurey, Y. Le-traon, and J. M. Jézéquel, Requirements by contracts allow automated system testing, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2003.
DOI : 10.1109/ISSRE.2003.1251033
URL : https://hal.archives-ouvertes.fr/hal-00794812

C. Nebut, S. Pickin, Y. Le-traon, and J. M. Jézéquel, Reusable test requirements for UML-modeled product lines, Proceedings of the Workshop REPL'02 (Requirements Engineering for Product Lines), 2002.
URL : https://hal.archives-ouvertes.fr/hal-00794640