Symbolic model checking of software product lines.

Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay

Browse the full ICSE paper archive.