On effectiveness of pairwise methodology for testing network-centric software, Information and Communications Technology, 2005. Enabling Technologies for the New Knowledge Society: ITI 3rd International Conference on, pp.221-235, 2005. ,
Using constraint programming to reason on feature models, Seventeenth international conference on software engineering and knowledge engi- neering, 2005. ,
One-test-at-a-time heuristic search for interaction test suites, Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation. GECCO '07, pp.1082-1089, 2007. ,
A density-based greedy algorithm for higher strength covering arrays. Software Testing, Verification and Reliab, pp.37-53, 2009. ,
A framework of greedy methods for constructing interaction test suites, Proceedings of the 27th international conference on Software engineering. ICSE '05, pp.146-155, 2005. ,
The aetg system: an approach to testing based on combinatorial design. Software Engineering, IEEE Transactions on, vol.23, issue.7, pp.437-444, 1997. ,
Exploiting constraint solving history to construct interaction test suites, Testing: Academic and Industrial Conference Practice and Research Techniques -MUTA- TION, pp.121-132, 2007. ,
Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach, Software Engineering IEEE Transactions on, vol.34, issue.5, pp.633-650, 2008. ,
Interaction testing of highly-configurable systems in the presence of constraints, International Symposium on Software Testing and Analysis (ISSTA'07), 2007. ,
Constructing test suites for interaction testing, Proceedings of the 25th International Conference on Software Engineering. ICSE '03, pp.38-48, 2003. ,
Formalizing cardinality-based feature models and their specialization. Software Process Improvement and Practice 10, pp.7-29, 2005. ,
The pluss approach -domain modeling with features, use cases and use case realizations, Software Product Lines, pp.33-44, 2005. ,
Evaluating improvements to a meta-heuristic search for constrained interaction testing, Empirical Software Engineering, vol.16, issue.1, pp.61-102, 2011. ,
Combination testing strategies: A survey, Software Testing , Verification, and Reliability 15, pp.167-199, 2005. ,
Software and Hardware Testing Using Combinatorial Covering Suites, Graph Theory, pp.237-266, 2005. ,
DOI : 10.1007/0-387-25036-0_10
The cardinality operator: A new logical connective for constraint logic programming, ICLP, pp.745-759, 1991. ,
Pacogen: Automatic generation of pairwise test configurations from feature models, Software Reliability Engineering (ISSRE), 2011 IEEE 22nd International Symposium on, pp.120-129, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00699558
Constraint models for the covering test problem, Constraints, vol.11, pp.2-3, 2006. ,
A technique for agile and automatic interaction testing for product lines, Lecture Notes in Computer Science, pp.39-54 ,
URL : https://hal.archives-ouvertes.fr/hal-01482410
Properties of realistic feature models make combinatorial testing of product lines feasible, Proceedings of the 14th international conference on Model driven engineering languages and systems. MODELS'11, pp.638-652, 2011. ,
An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference -Volume 1. SPLC '12, pp.46-55, 2012. ,
Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990. ,
Global constraints on feature models, Principles and Practice of Constraint Programming -CP 2010 -CP 2010, pp.537-551, 2010. ,
G2way a backtracking strategy for pairwise test data generation, Software Engineering Conference APSEC '08. 15th Asia-Pacific, pp.463-470, 2008. ,
Software fault interactions and implications for software testing, IEEE Trans. Softw. Eng, vol.30, issue.6, pp.418-421, 2004. ,
A survey of binary covering arrays, Journal Of Combinatorial Designs, vol.18, pp.37-53, 2011. ,
Ipog/ipog-d: efficient test generation for multi-way combinatorial testing, Softw. Test., Verif. Reliab, vol.18, issue.3, pp.125-148, 2008. ,
Multi-objective optimal test suite computation for software product line pairwise testing, Software Maintenance (ICSM), 2013 29th IEEE International Conference on, pp.404-407, 2013. ,
Regression testing of guis, Proceedings of the 9th European software engineering conference. ESEC/FSE-11, pp.118-127, 2003. ,
SAT-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference. SPLC '09, pp.231-240, 2009. ,
software product lines online tools, OOPSLA Companion, pp.761-762, 2009. ,
Automated incremental pairwise testing of software product lines, Software Product Lines: Going Beyond, pp.196-210, 2010. ,
Reconciling automation and flexibility in product derivation, Software Product Line Conference (SPLC'08, pp.339-348, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00456507
Pairwise testing for software product lines: comparison of two approaches, Software Quality Journal, vol.20, pp.3-4, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00805856
Automated and scalable t-wise test case generation strategies for software product lines, Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation. ICST '10, pp.459-468, 2010. ,
Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
Configuration-aware regression testing: an empirical study of sampling and prioritization, Proceedings of the 2008 international symposium on Software testing and analysis. ISSTA '08, pp.75-86, 2008. ,
Exploiting the versatility of constraint programming over finite domains to integrate product line models, Requirements Engineering Conference, pp.375-376, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00663346
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
Industrial evaluation of pairwise spl testing with moso-polite, Sixth Int. Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'12), pp.55-62, 2012. ,
Covering arrays for efficient fault characterization in complex configuration spaces, Software Engineering IEEE Transactions on, vol.32, issue.1, 2006. ,