Strategies for product-line verification: case studies and experiments

Sven Apel, Alexander von Rhein, Philipp Wendler, Armin Größlinger, Dirk Beyer. Strategies for product-line verification: case studies and experiments. In David Notkin, Betty H. C. Cheng, Klaus Pohl, editors, 35th International Conference on Software Engineering, ICSE '13, San Francisco, CA, USA, May 18-26, 2013. pages 482-491, IEEE / ACM, 2013. [doi]

Authors

Sven Apel

This author has not been identified. It may be one of the following persons: Look up 'Sven Apel' in Google

Alexander von Rhein

This author has not been identified. Look up ' Alexander von Rhein' in Google

Philipp Wendler

This author has not been identified. Look up ' Philipp Wendler' in Google

Armin Größlinger

This author has not been identified. Look up 'Armin Größlinger' in Google

Dirk Beyer

This author has not been identified. Look up 'Dirk Beyer' in Google