Beyond boolean product-line model checking: dealing with feature attributes and multi-features.

Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Browse the full ICSE paper archive.