An extensible platform for product-line behavioural analysis.

Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens

Browse the full SPLC paper archive.