Strategies for product-line verification: case studies and experiments.

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Grlinger, Dirk Beyer

Browse the full ICSE paper archive.