An Improved Approach to Passive Testing of FSM-based Systems. - Ural, Hasan; Xu, Zhi; Zhang, Fan (2007)