Feasible transition path generation for EFSM-based system testing. - Sieng Wong; Chia Yee Ooi; Yuan Wen Hau; Muhammad N. Marsono; Nasir Shaikh-Husin (ISCAS, 2013)