Hamideh Sabouri, Ramtin Khosravi. An Effective Approach for Verifying Product Lines in Presence of Variability Models. In Goetz Botterweck, Stan Jarzabek, Tomoji Kishi, Jaejoon Lee, Steve Livengood, editors, Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools). pages 113-120, Lancaster University, 2010. [doi]
Abstract is missing.