Simulation-based abstractions for software product-line model checking.

Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay

Browse the full ICSE paper archive.