A classification and survey of analysis strategies for software product lines, ACM Computing Surveys, vol.47, issue.1, pp.1-6, 2014. ,
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking, IEEE Transactions on Software Engineering, vol.39, issue.8, pp.1069-1089, 2013. ,
Exploring variability-aware execution for testing plugin-based web applications, Proceedings of the 36th International Conference on Software Engineering -ICSE '14, pp.907-918, 2014. ,
Splat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems -esec/fse '13, Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, pp.257-267, 2013. ,
Reducing combinatorics in testing product lines, Proceedings of the tenth international conference on Aspect-oriented software development, ser. AOSD '11, pp.57-68, 2011. ,
Instant bug testing service for linux kernel, 2013 IEEE 10th International Conference on High Performance Computing and Communications 2013 IEEE International Conference on Embedded and Ubiquitous Computing, vol.1, p.7, 2013. ,
Test confessions: A study of testing practices for plug-in systems, 34th International Conference on Software Engineering (ICSE), pp.244-254, 2012. ,
Programmers' Build Errors: A Case Study (at Google), Proceedings of the 36th International Conference on Software Engineering, ser. ICSE, vol.1, p.10, 2014. ,
Oops, My Tests Broke the Build: An Explorative Analysis of Travis CI with GitHub, Proceedings of the 14th International Conference on Mining Software Repositories, ser. MSR '17, vol.1, p.10, 2017. ,
Why do automated builds break? an empirical study, 30th IEEE International Conference on Software Maintenance and Evolution, pp.41-50, 2014. ,
An empirical study on configuration errors in commercial and open source systems, Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles, ser. SOSP '11, pp.159-172, 2011. ,
Software configuration engineering in practice: Interviews, survey, and systematic literature review, IEEE Transactions on Software Engineering, issue.1, pp.1-1, 2018. ,
Test them all, is it worth it? assessing configuration sampling on the jhipster web development stack, Empirical Software Engineering, p.10, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01829928
On cross-stack configuration errors, Proceedings of the 39th International Conference on Software Engineering, vol.2, p.10, 2017. ,
A comparison of 10 sampling algorithms for configurable systems, Proceedings of the 38th International Conference on Software Engineering, ICSE 2016, vol.2, p.10, 2016. ,
Feedback driven adaptive combinatorial testing, Proceedings of the 2011 International Symposium on Software Testing and Analysis, ser. ISSTA '11, vol.2, p.10, 2011. ,
An interleaving approach to combinatorial testing and failure-inducing interaction identification, IEEE Transactions on Software Engineering, vol.2, p.10, 2018. ,
Configurations everywhere: Implications for testing and debugging in practice, Companion Proceedings of the 36th International Conference on Software Engineering, ser. ICSE Companion, vol.2, p.10, 2014. ,
Covering arrays for efficient fault characterization in complex configuration spaces, IEEE Transactions on Software Engineering, vol.32, issue.1, p.10, 2006. ,
Variability bugs in highly configurable systems: A qualitative analysis, ACM Trans. Softw. Eng. Methodol, vol.26, issue.3, p.10, 2018. ,
42 variability bugs in the linux kernel: a qualitative analysis, ACM/IEEE International Conference on Automated Software Engineering, ASE '14, vol.2, p.10, 2014. ,
Where do configuration constraints stem from? an extraction approach and an empirical study, IEEE Trans. Software Eng, vol.2 ,
A study of feature scattering in the linux kernel, IEEE Transactions on Software Engineering, vol.2, p.10, 2018. ,
A quantitative analysis of variability warnings in linux, Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, ser. VaMoS '16, vol.6, p.9, 2016. ,
Analysing the linux kernel feature model changes using fmdiff, Software and System Modeling, vol.16, issue.1, pp.55-76, 2017. ,
An empirical study of unspecified dependencies in make-based build systems, Empirical Software Engineering, vol.22, issue.6, p.10, 2017. ,
The abc of software engineering research, ACM Trans. Softw. Eng. Methodol, vol.27, issue.3, pp.1-11, 2018. ,
Generating range fixes for software configuration, 34th International Conference on Software Engineering, p.6, 2012. ,
A study of feature scattering in the linux kernel, IEEE Transactions on Software Engineering, issue.2, pp.1-1, 2018. ,
Foundations of software testing. India: Pearson Education, 2008. ,
, Guide to the Software Engineering Body of Knowledge (SWEBOK(R)): Version 3.0, 2014.
Uniform sampling of sat solutions for configurable systems: Are we there yet, ICST 2019 -12th International Conference on Software Testing, Verification, and Validation, pp.1-12, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-01991857
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, pp.549-559, 2018. ,
Linux variability anomalies: What causes them and how do they get fixed, Proceedings of the 10th Working Conference on Mining Software Repositories, ser. MSR '13, pp.111-120, 2013. ,
A classification and survey of analysis strategies for software product lines, ACM Computing Surveys, issue.10, 2014. ,
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-Wise Test Configurations for Software Product Lines, IEEE Transactions on Software Engineering, vol.40, issue.7, pp.650-670, 2014. ,
Combinatorial interaction testing for automated constraint repair, 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp.239-248, 2017. ,
itree: Efficiently discovering highcoverage configurations using interaction trees, IEEE Transactions on Software Engineering, vol.40, issue.3, pp.251-265, 2014. ,
Localizing configurations in highly-configurable systems, Proceeedings of the 22nd International Systems and Software Product Line Conference, vol.1, pp.269-273, 2018. ,
Kmax: finding all configurations of kbuild makefiles statically, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, pp.279-290, 2017. ,
Pclocator: A tool suite to automatically identify configurations for code locations, Proceedings of the 22Nd International Systems and Software Product Line Conference, vol.1, pp.284-288, 2018. ,
Automated diagnosis of software configuration errors, 2013 35th International Conference on Software Engineering (ICSE), pp.312-321, 2013. ,
Yo variability! JHipster: A playground for web-apps analyses, Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, ser. VAMOS '17, pp.44-51, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01468084