Mutation-based Generation of Software Product Line Test Configurations

Christopher Henard, Mike Papadakis, and Yves Le Traon

Interdisciplinary Centre for Security Reliability and Trust (SnT), University of Luxembourg, Luxembourg
Contact: {firstname.lastname}@uni.lu

Resources regarding the paper:

• About the source code and the implementation
• About the empirical study data

References:

About the source code and the implementation (C++)

• Download The source code
• Download The binary (Debian/Ubuntu 64-bit)
• Compilation:

  	g++ -fpermissive -std=c++0x -c -g -Ipicosat-957_modified -MMD -MP -MF "main.o.d" -o main.o main.cpp
  	g++ -fpermissive -std=c++0x -o ssbse14 main.o -Lpicosat-957_modified -lpicosat -lboost_regex -lboost_system -lboost_filesystem
  	

• Usage:

  	Usage: ./ssbse14 dimacsFM mutantsPath nbRuns maxConfigForRandomSameFitness
  	

  Example:

  	./ssbse14 Cellphone.dimacs Cellphone.dimacs_mutants 10 10
  	

About the empirical study data

• Browse The feature models and the mutants
• Download The feature models and the mutants