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}@uni.lu, +{firstname.lastname}@fundp.ac.be

Resources regarding the paper:

References:
[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