Effects of FSM minimization techniques on number of test paths in mobile applications MBT. - Maiada M. Shabaan; Haitham S. Hamza; Yasser M. K. Omar (SERA, 2017)