Cost-effective model-based test case generation and prioritization for software product line - Rabatul Aduni Sulaiman, 1990-, author 633235; Dayang Norhayati Abang Jawawi, supervisor 409201; Shahliza Abdul Halim, supervisor 602633; Fakulti Kejuruteraan. Sekolah Komputeran 619086 (Johor Bahru, Johor : Universiti Teknologi Malaysia, 2020)