Towards an incremental automata-based approach for software product-line model checking.

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

Browse the full SPLC paper archive.