PLEDGE - a Product Line EDitor and tests GEneration tool

Resources (to be completed)

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