Software Product Line Engineering: Foundations, Principles and Techniques, 2005. ,
DOI : 10.1007/3-540-28901-1
Software Product Lines: Practices and Patterns, 2001. ,
Feature- Oriented Domain Analysis (FODA) Feasibility Study, Software Engineering Institute, 1990. ,
Testing software product lines using incremental test generation, " in ISSRE, IEEE Computer Society, pp.249-258, 2008. ,
Product family testing, ACM SIGSOFT Software Engineering Notes, vol.29, issue.2, pp.12-12, 2004. ,
DOI : 10.1145/979743.979766
Testing a Software Product Line, Tech. Rep, 2001. ,
DOI : 10.1007/978-3-642-14335-9_4
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
Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004. ,
DOI : 10.1109/TSE.2004.24
Coverage and adequacy in software product line testing, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.53-63, 2006. ,
DOI : 10.1145/1147249.1147257
Interaction testing of highlyconfigurable systems in the presence of constraints, ISSTA, pp.129-139, 2007. ,
Aspect-oriented multi-view modeling, Proceedings of the 8th ACM international conference on Aspect-oriented software development, AOSD '09, pp.87-98, 2009. ,
DOI : 10.1145/1509239.1509252
AspectOPTIMA: An Aspect-Oriented Framework for the Generation of Transaction Middleware, 2008. ,
Feature Models, Grammars, and Propositional Formulas, SPLC, pp.7-20, 2005. ,
DOI : 10.1007/11554844_3
Feature Diagrams: A Survey and a Formal Semantics, 14th IEEE International Requirements Engineering Conference (RE'06), 2006. ,
DOI : 10.1109/RE.2006.23
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
Feature Diagrams and Logics: There and Back Again, 11th International Software Product Line Conference (SPLC 2007), pp.23-34, 2007. ,
DOI : 10.1109/SPLINE.2007.24
Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008. ,
DOI : 10.1109/SPLC.2008.38
URL : https://hal.archives-ouvertes.fr/inria-00456507
Quality engineering using robust design, 1995. ,
Kodkod: A relational model finder, " in Tools and Algorithms for Construction and Analysis of Systems, 2007. ,
Zchaff2004: An Efficient SAT Solver, pp.360-375, 2004. ,
DOI : 10.1007/11527695_27
MiniSat: A SAT Solver with Conflict-Clause Minimization, Poster, SAT 2005, 2005. ,
1st intl. workshop on analysis of software product lines ASPL'08, SPLC, p.385, 2008. ,
Sat-based analysis of feature models is easy, SPLC, 2009. ,
Determining computational complexity from characteristic phase transitions, Nature, vol.400, issue.6740, pp.133-137, 1999. ,
Weaving Executability into Object-Oriented Meta-languages, MODELS/UML, 2005. ,
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095
Software Product Lines, ch. System Testing of Product Families: from Requirements to Test Cases, pp.447-478, 2006. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01354971
Optimizing the Selection of Representative Configurations in Verification of Evolving Product Lines of Distributed Embedded Systems, 10th International Software Product Line Conference (SPLC'06), pp.75-84, 2006. ,
DOI : 10.1109/SPLINE.2006.1691579
Direct-dependencybased software compatibility testing, ASE, pp.409-412, 2007. ,
A theory for feature models in alloy, First Alloy Workshop, 2006. ,
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis, 15th IEEE International Requirements Engineering Conference (RE 2007), pp.243-253, 2007. ,
DOI : 10.1109/RE.2007.61
FaMa, VaMoS, pp.129-134, 2007. ,
DOI : 10.1007/978-3-642-36583-6_11
Combining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing, Intl. Conference on Tests and Proofs, pp.27-42, 2009. ,
DOI : 10.1109/TSE.2006.8