1. Engineering Research Center for Software Testing and Evaluation of Fujian Province, Xiamen University of Technology, Xiamen, China
2. Department of Computing, Macquarie University, Sydney, NSW, Australia
3. Petro China Northwest Sales Company, China