G. Perrouin, S. Sen, J. Klein, B. Baudry, and Y. Le-traon, Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines, 2010 Third International Conference on Software Testing, Verification and Validation, 2010.
DOI : 10.1109/ICST.2010.43

C. J. Date, An Introduction to Database Systems, 2004.

D. S. Batory, Feature Models, Grammars, and Propositional Formulas, In: SPLC, pp.7-20, 2005.
DOI : 10.1007/11554844_3

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

D. Cohen, S. Dalal, M. Fredman, and G. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, p.437444, 1997.
DOI : 10.1109/32.605761

D. R. Kuhn and M. J. Reilly, An investigation of the applicability of design of experiments to software testing, 27th Annual NASA Goddard/IEEE Software Engineering Workshop, 2002. Proceedings., 2002.
DOI : 10.1109/SEW.2002.1199454

M. Software-design-group, Alloy community, 2008.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

D. M. Cohen, I. C. Society, S. R. Dalal, M. L. Fredman, and G. C. Patton, The AETG system: an approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997.
DOI : 10.1109/32.605761

M. B. Cohen, M. B. Dwyer, and J. Shi, Constructing Interaction Test Suites for Highly-Configurable Systems in the Presence of Constraints: A Greedy Approach, IEEE Transactions on Software Engineering, vol.34, issue.5, pp.633-650, 2008.
DOI : 10.1109/TSE.2008.50

S. Oster, F. Markert, and P. Ritter, Automated Incremental Pairwise Testing of Software Product Lines, Software Product Line Conference (SPLC'10, 2010.
DOI : 10.1007/978-3-642-15579-6_14

M. F. Johansen, O. Haugen, and F. Fleurey, Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, Conference on Model Driven Engineering Languages and Systems (MODELS'11, pp.638-652, 2011.
DOI : 10.1109/TSE.2010.30

A. Hervieu, B. Baudry, and A. Gotlieb, PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models, 2011 IEEE 22nd International Symposium on Software Reliability Engineering, pp.120-129, 2011.
DOI : 10.1109/ISSRE.2011.31

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

N. Bruno and S. Chaudhuri, Flexible database generators, VLDB, p.10971107, 2005.

K. Houkjaer, K. T. Wind, and R. , Simple and realistic data generation, p.12431246, 2006.

E. Lo, N. C. Hon, and W. K. , Generating databases for query workloads, Proceedings of the VLDB Endowment, vol.3, issue.1-2, pp.848-859, 2010.
DOI : 10.14778/1920841.1920950

H. Mannila and K. J. Raiha, Automatic generation of test data for relational queries, Journal of Computer and System Sciences, vol.38, issue.2, p.240258, 1989.
DOI : 10.1016/0022-0000(89)90002-0