Comparing Approaches to Implement Feature Model Composition, Modelling Foundations and Applications, pp.3-19, 2010. ,
DOI : 10.1007/978-3-642-13595-8_3
URL : https://hal.archives-ouvertes.fr/hal-00484232
Slicing feature models, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.424-427, 2011. ,
DOI : 10.1109/ASE.2011.6100089
FAMILIAR: A domain-specific language for large scale management of feature models, Science of Computer Programming, vol.78, issue.6, pp.55-2013 ,
DOI : 10.1016/j.scico.2012.12.004
URL : https://hal.archives-ouvertes.fr/hal-00767175
Regression testing of guis, European Software Engineering Conference (ESEC), pp.118-127, 2003. ,
Coping with automatic reasoning on software product lines, 2004. ,
Using constraint programming to reason on feature models, The Seventeenth International Conference on Software Engineering and Knowledge Engineering, pp.677-682, 2005. ,
Graph-based algorithms for boolean function manipulation . Computers, IEEE Transactions on, vol.100, issue.8, pp.677-691, 1986. ,
Automated analysis of feature models : A detailed literature review, Information Systems, issue.35, pp.615-636, 2010. ,
Using Java CSP Solvers in the Automated Analyses of Feature Models, Generative and Transformational Techniques in Software Engineering, pp.399-408, 2006. ,
DOI : 10.1007/11877028_16
Automated reasoning on feature models, Advanced Information Systems Engineering, pp.491-503, 2005. ,
On Effectiveness of Pairwise Methodology for Testing Network-Centric Software, 2005 International Conference on Information and Communication Technology, pp.221-235, 2005. ,
DOI : 10.1109/ITICT.2005.1609626
A text-based approach to feature modelling: Syntax and semantics of TVL, Science of Computer Programming, vol.76, issue.12, pp.761130-1143, 2011. ,
DOI : 10.1016/j.scico.2010.10.005
URL : https://hal.archives-ouvertes.fr/hal-00718291
Augmenting simulated annealing to build interaction test suites, Software Reliability Engineering, 2003. ISSRE 2003. 14th International Symposium on, pp.394-405, 2003. ,
A deterministic density algorithm for pairwise interaction coverage, Proc. of the IAS- TED Intl. Conference on Software Engineering, pp.242-252, 2004. ,
The aetg system : An approach to testing based on combinatorial design, IEEE Transactions on Software Engineering, vol.23, issue.7, pp.437-444, 1997. ,
Constructing test suites for interaction testing, 25th International Conference on Software Engineering, 2003. Proceedings., pp.38-48, 2003. ,
DOI : 10.1109/ICSE.2003.1201186
A Greedy Heuristic for the Set-Covering Problem, Mathematics of Operations Research, vol.4, issue.3, pp.233-235, 1979. ,
DOI : 10.1287/moor.4.3.233
An open-ended finite domain constraint solver, Proc. Programming Languages : Implementations, Logics, and Programs, 1997. ,
DOI : 10.1007/BFb0033845
Pairwise testing in the real world : Practical extensions to test-case scenarios, Proceedings of 24th Pacific Northwest Software Quality Conference, Citeseer, pp.419-430, 2006. ,
An improved meta-heuristic search for constrained interaction testing, Search Based Software Engineering 1st International Symposium on, pp.13-22, 2009. ,
Evaluating improvements to a meta-heuristic search for constrained interaction testing, Empirical Software Engineering, vol.16, issue.1, pp.61-102, 2011. ,
Minimum Pairwise Coverage Using Constraint Programming Techniques, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, pp.773-774, 2012. ,
DOI : 10.1109/ICST.2012.174
Combination testing strategies : a survey. Software Testing, Verification and Reliability, pp.167-199, 2005. ,
PACOGEN: Automatic Generation of Pairwise Test Configurations from Feature Models, 2011 IEEE 22nd International Symposium on Software Reliability Engineering, 2011. ,
DOI : 10.1109/ISSRE.2011.31
URL : https://hal.archives-ouvertes.fr/hal-00699558
Managing Execution Environment Variability during Software Testing: An Industrial Experience, Testing Software and Systems -24th IFIP WG 6.1 International Conference, pp.24-38, 2012. ,
DOI : 10.1007/978-3-642-34691-0_4
URL : https://hal.archives-ouvertes.fr/hal-01482409
Constraint Models for the Covering Test Problem, Constraints, vol.1, issue.1, pp.199-219, 2006. ,
DOI : 10.1007/s10601-006-7094-9
Iec 17025 : 2005 general requirements for the competence of testing and calibration laboratories, International Standards Organisation, 2005. ,
Properties of Realistic Feature Models Make Combinatorial Testing of Product Lines Feasible, Model Driven Engineering Languages and Systems, pp.638-652, 2011. ,
DOI : 10.1109/TSE.2010.30
An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference, pp.46-55 ,
A technique for agile and automatic interaction testing for product lines, Testing Software and Systems, pp.39-54, 2012. ,
The choco constraint programming solver, CPAIOR'08 workshop on Open-Source Software for Integer and Contraint Programming, 2008. ,
Two applications (for search theory and truth functions) of sperner type theorems, Periodica Mathematica Hungarica, vol.3, issue.12, pp.19-26, 1973. ,
Feature-Oriented Domain Analysis (FODA) Feasibility Study, 1990. ,
Global constraints on feature models In Principles and Practice of Constraint Programming, LNCS, vol.6308, pp.537-551, 2010. ,
Mapping extended feature models to constraint logic programming over finite domains, Software Product Lines : Going Beyond -14th International Conference, pp.286-299, 2010. ,
Families of k-independent sets, Discrete Mathematics, vol.6, issue.3, pp.255-262, 1973. ,
DOI : 10.1016/0012-365X(73)90098-8
FeatureIDE: A tool framework for feature-oriented software development, 2009 IEEE 31st International Conference on Software Engineering, pp.611-614, 2009. ,
DOI : 10.1109/ICSE.2009.5070568
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
The sat4j library, release 2.2 system description, Journal on Satisfiability Boolean Modeling and Computation, vol.7, pp.59-64, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00868136
IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing, Software Testing, Verification and Reliability, vol.16, issue.10, pp.125-148, 2008. ,
DOI : 10.1002/stvr.381
Using First-Order Logic for Product Line Model Validation, Software Product Lines, pp.176-187, 2002. ,
DOI : 10.1007/3-540-45652-X_11
Splot : software product lines online tools, Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pp.761-762, 2009. ,
Theorem Proving for Product Line Model Verification, Software Product-Family Engineering, pp.211-224, 2004. ,
DOI : 10.1007/978-3-540-24667-1_16
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. ,
Practical pairwise testing for software product lines, Proceedings of the 17th International Software Product Line Conference on, SPLC '13, pp.227-235, 2013. ,
DOI : 10.1145/2491627.2491646
URL : https://hal.archives-ouvertes.fr/hal-00859438
Minimizing conflicts: a heuristic repair method for constraint satisfaction and scheduling problems, Companion to the proceedings of the 29th International Conference on Software Engineering, ICSE COMPANION '07, pp.161-205, 1992. ,
DOI : 10.1016/0004-3702(92)90007-K
Constraints, International Journal of Information System Modeling and Design, vol.3, issue.2, pp.33-68, 2012. ,
DOI : 10.4018/jismd.2012040102
URL : https://hal.archives-ouvertes.fr/hal-00707544
VariaMos, Proceedings of the 19th International Conference on Software Product Line, SPLC '15, 2012. ,
DOI : 10.1145/2791060.2791103
URL : https://hal.archives-ouvertes.fr/hal-01185815
Satbased analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, pp.231-240, 2009. ,
Efficient compilation techniques for large scale feature models, Proceedings of the 7th international conference on Generative programming and component engineering, GPCE '08, pp.13-22, 2008. ,
DOI : 10.1145/1449913.1449918
Upper bounds for covering arrays by tabu search Automated incremental pairwise testing of software product lines, Software Product Line Conference (SPLC'10), 2010. [Par76] David Lorge Parnas. On the design and development of program families. Software Engineering, pp.143-1521, 1976. ,
Software product line engineering : foundations, principles, and techniques Bypassing the combinatorial explosion : Us-ing similarity to generate and prioritize t-wise test suites for large software product lines, PH12] Gilles Perrouin and Patrick Heymans, 2005. ,
DOI : 10.1007/3-540-28901-1
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
Pairwise testing for software product lines : comparison of two approaches, Software Quality Journal, vol.20, pp.3-4605, 2012. ,
Automated and scalable t-wise test case generation strategies for software product lines, International Conference on Software Testing (ICST'10), 2010. ,
Generic semantics of feature diagrams, Computer Networks, vol.51, issue.2, pp.456-479, 2007. ,
DOI : 10.1016/j.comnet.2006.08.008
The variability model of the linux kernel, VaMoS, vol.10, pp.45-51, 2010. ,
Reverse engineering feature models, Software Engineering (ICSE), 2011 33rd International Conference on, pp.461-470, 2011. ,
New recursive methods for transversal covers, Journal of Combinatorial Designs, vol.27, issue.3, pp.185-203, 1999. ,
DOI : 10.1002/(SICI)1520-6610(1999)7:3<185::AID-JCD3>3.0.CO;2-3
Using Integer Constraint Solving in Reuse Based Requirements Engineering, 2010 18th IEEE International Requirements Engineering Conference, pp.243-251, 2010. ,
DOI : 10.1109/RE.2010.36
URL : https://hal.archives-ouvertes.fr/hal-00662891
Metaheuristics and the search for covering and packing arrays, 2001. ,
Using binary decision diagrams for combinatorial test design, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA '11, pp.254-264, 2011. ,
DOI : 10.1145/2001420.2001451
Automating test case generation for the new generation mission software system, Aerospace Conference Proceedings, pp.431-437, 2000. ,
Fama framework, 12th Software Product Lines Conference (SPLC), 2008. ,
Abstract features in feature modeling, Software Product Line Conference (SPLC), 2011 15th International, pp.191-200 ,
A test generation strategy for pairwise testing. Software Engineering, IEEE Transactions on, vol.28, issue.1, pp.109-111, 2002. ,
Abductive reasoning and automated analysis of feature models : how are they connected, Third International Workshop on Variability Modelling of Software-Intensive Systems. Proceedings, pp.145-153, 2009. ,
Foundations of constraint satisfaction, 1993. ,
On the notion of variability in software product lines, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.45-54, 2001. ,
DOI : 10.1109/WICSA.2001.948406
Covering arrays for efficient fault characterization in complex configuration spaces, IEEE Transactions on Software Engineering, vol.31, issue.1, pp.2-34, 2006. ,
A Propositional Logic-Based Method for Verification of Feature Models, Formal Methods and Software Engineering, pp.115-130, 2004. ,
DOI : 10.1007/978-3-540-30482-1_16