EFSM-based Testing Strategy for APIs Test of Embedded OS. - SongXia Hao; Xichang Zhong; Yun Wang (ICESS, 2004)