Daedalux: An Extensible Platform for Variability-Aware Model Checking.

Sami Lazreg, Maxime Cordy, Simon Thrane Hansen, Axel Legay

Browse the full ICSE paper archive.