Model-based test generation for software product line. - Xinying Cai; Hongwei Zeng (ICIS, 2013)