Multi-objective Test Generation for Software Product Lines

Christopher Henard*, Mike Papadakis*, Gilles Perrouin+, Jacques Klein* and Yves Le Traon*

*Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg
+Precise Research Center In Software Engineering (PReCISE), University of Namur, Belgium
Contact: *{firstname.lastname}, +{firstname.lastname}

Resources regarding the paper:

[1] SPLOT - Software Product Line Online Tools
[2] SPLAR - Software Product Lines Automated Reasoning library
[3] Sat4j: the boolean satisfaction and optimization library for Java
[4] JCommander: a Java framework that makes it trivial to parse command line parameters

About the case study

About the source code and the implementation

About the use of the implementation