, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
, Feature-Oriented Software Product Lines: Concepts and Implementation, 2013.
FeatureOriented Domain Analysis (FODA), SEI, 1990. ,
Automated analysis of feature models: Challenges ahead, Communications of the ACM, 2006. ,
Feature diagrams: A survey and a formal semantics, RE '06: Proceedings of the 14th IEEE International Requirements Engineering Conference ,
, , pp.136-145, 2006.
Automated analysis of feature models 20 years later: a literature review, Information Systems, vol.35, issue.6, 2010. ,
Sat-based analysis of feature models is easy, Proceedings of the 13th International Software Product Line Conference, ser. SPLC '09, pp.231-240, 2009. ,
Sat-based analysis of large real-world feature models is easy, Proceedings of the 19th International Conference on Software Product Line, ser. SPLC '15, pp.91-100, 2015. ,
,
Software fault interactions and implications for software testing, IEEE Transactions on Software Engineering, vol.30, issue.6, pp.418-421, 2004. ,
A first systematic mapping study on combinatorial interaction testing for software product lines, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.1-10, 2015. ,
An algorithm for generating t-wise covering arrays from large feature models, Proceedings of the 16th International Software Product Line Conference on-SPLC '12, vol.1, p.46, 2012. ,
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. ,
Evaluating improvements to a meta-heuristic search for constrained interaction testing, Empirical Software Engineering, vol.16, issue.1, pp.61-102, 2011. ,
Evolutionary Search-Based Test Generation for Software Product Line Feature Models, Advanced Information Systems Engineering: 24th International Conference, CAiSE '12, pp.613-628, 2012. ,
Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines, IEEE Trans. Software Eng, 2014. ,
Similarity-based prioritization in software product-line testing, 18th International Software Product Line Conference, SPLC '14, pp.197-206, 2014. ,
SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines, Software & Systems Modeling, 2017. ,
,
On the value of user preferences in search-based software engineering: a case study in software product lines, ICSE'13, pp.492-501, 2013. ,
Combining multi-objective search and constraint solving for configuring large software product lines, Proceedings of the 37th International Conference on Software Engineering, vol.1, pp.517-528, 2015. ,
On random numbers and the performance of genetic algorithms, Proceedings of the 4th Annual Conference on Genetic and Evolutionary Computation, ser. GECCO'02, pp.311-318, 2002. ,
Quasi-random initial population for genetic algorithms, Comput. Math. Appl, vol.47, issue.12, pp.1885-1895, 2004. ,
Money for nothing: Speeding up evolutionary algorithms through better initialization, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, ser. GECCO '15, pp.815-822, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01272863
42 variability bugs in the linux kernel: A qualitative analysis, Proceedings of the 29th ACM/IEEE International Conference on Automated Software Engineering, ser. ASE '14, pp.421-432, 2014. ,
A comparison of 10 sampling algorithms for configurable systems ,
Test them all, is it worth it? assessing configuration sampling on the jhipster web development stack, Empirical Software Engineering, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01829928
Formal analysis of the probability of interaction fault detection using random testing, IEEE Transactions on Software Engineering, vol.38, issue.5, pp.1088-1099, 2012. ,
A scalable and nearly uniform generator of sat witnesses, International Conference on Computer Aided Verification, pp.608-623, 2013. ,
On parallel scalable uniform SAT witness generation, Tools and Algorithms for the Construction and Analysis of Systems TACAS'15 2015, pp.304-319, 2015. ,
Efficient sampling of SAT solutions for testing, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp.549-559, 2018. ,
Propagating configuration decisions with modal implication graphs, Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, pp.898-909, 2018. ,
Is there a mismatch between real-world feature models and product-line research, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp.291-302, 2017. ,
, The JHipster mini-book. C4Media, 2015.
Towards efficient sampling: Exploiting random walk strategies, AAAI, vol.4, pp.670-676, 2004. ,
Stimulus generation for constrained random simulation, Proceedings of the 2007 IEEE/ACM international conference on Computer-aided design, pp.258-265, 2007. ,
Embed and project: Discrete sampling with universal hashing, Advances in Neural Information Processing Systems, pp.2085-2093, 2013. ,
Uniform solution sampling using a constraint solver as an oracle, 2012. ,
On computing minimal independent support and its applications to sampling and counting, Constraints, vol.21, issue.1, pp.41-58, 2016. ,
sharpsat-counting models with advanced component caching and implicit bcp, International Conference on Theory and Applications of Satisfiability Testing, pp.424-429, 2006. ,
, sharpsat-counting models with advanced component caching and implicit bcp, pp.424-429, 2006.
A classification of product sampling for software product lines, Proceeedings of the 22nd International Conference on Systems and Software Product Line, vol.1, pp.1-13, 2018. ,
,
Balancing scalability and uniformity in sat witness generator, Proceedings of the 51st Annual Design Automation Conference, ser. DAC '14, vol.60, pp.1-60, 2014. ,
A new algorithm for sampling csp solutions uniformly at random," in Principles and Practice of Constraint Programming-CP, pp.711-715, 2006. ,
Navigating the maze: the impact of configurability in bioinformatics software, Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, ASE 2018, pp.757-767, 2018. ,