Software Testing Process Automation Based on UTP - A Case Study. - Wei Chen; Qun Ying; Yunzhi Xue; Chen Zhao (ISPW, 2005)