Research on Interface Automata Testing. - Liangming Li; Lei Liu; Zhijian Wang; Yelong Tang (CSSE (2), 2008)