Jochen Kamischke, Malte Lochau, Hauke Baller. Conditioned model slicing of feature-annotated state machines. In Ina Schaefer, Thomas Thüm, editors, 4th International Workshop on Feature-Oriented Software Development, FOSD '12, Dresden, Germany - September 24 - 25, 2012. pages 9-16, ACM, 2012. [doi]
Abstract is missing.