Combining Multi-Objective Search and Constraint Solving for Configuring Large Scale Software Product Lines
Christopher Henard*, Mike Papadakis*, Mark Harman+, and Yves Le Traon*
*Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg
+University College London (UCL), Gower Street, London
Contact: *{firstname.lastname}@uni.lu,+{firstname.lastname}@ucl.ac.uk
Download The source code of the approach to generate a rich seed (requires the modified Sat4j libs included with the binary)
The SATIBEA and Filtered approaches output the runtime in ms, the number of evaluations, the configurations and the values for the 5 objectives (violated constraints, features unselected, features unused, defects and cost)
runs the approach on the Linux feature model with an execution time of one hour (3600000 milliseconds). Note: the .augment, .dead, .mandatory and .richseed files (that can be found in the section below) should be in the same directory as the feature model. Thus, along with the feature model used in the command above are the files
Browse or Download the feature models, the mandatory/dead features files, the attributes for each features (augmented FM) and the seeds used in the empirical study