CV of Xiaoying BAI

Research Interest
	• Software Engineering
	• Software Testing
	• Service-Oriented Architecture

Education
	• Jan. 2000 – Dec. 2001, Arizona State University (ASU), Tempe, AZ, USA Ph. D in Computer Science, Advisor: Dr. Wei-Tek Tsai, Dec. 2001
	• Sep. 1998 – Dec. 1999, University of Minnesota, Minneapolis, MN, USA Ph. D program, M.S. in Computer Science, Advisor: Dr. Wei-Tek Tsai, Feb. 2000
	• Sep, 1995 – Mar. 1998, Beijing University of Aeronautics and Astronautics, Beijing, China, M.S. in Computer Science, Advisor: Dr. Wei Li, Mar. 1998
	• Sep. 1991 – Aug. 1995, Northwestern Polytechnical University, Xi’an, China, B.S. in Computer Science, Jul. 1995

Experiences
	• Dec. 2005 – Present, Associate Professor, Tsinghua University
	• Apr. 2002 – Present, Expert, Information Technology, Beijing Organizing Committee for the Games of the XXIX Olympiad
	• Jan. 2002 – Dec. 2005, Assistant Professor, Tsinghua University
	• Jan. 2000 – Dec. 2001, Research Assistant, Arizona State University
	• Sept. 1998 – Dec. 1999, Research Assistant, University of Minnesota
	• Sept. 1995 – Mar. 1998, Software Engineer, Bei Hang University
	• Sept. 1994 – Aug. 1995, Software Engineer, Northwestern Polytechnical University

Teaching Experiences
	• Software Engineering, undergraduate, 3 credits, Fall semester
	• Software Design, graduate, 3 credits, Spring semester

Research Projects
	• 2007.1 – 2009.12, Project Leader, Research on Online and Collaborative Testing Techniques of Service –Oriented Software, National Science of Foundation (No. 60603035).
	• 2007.1 – 2008.12, Project Leader, Research on the Dependable Service-Oriented Software , National 863 High Tech Program (No. 2006AA01Z157)
	• 2007.3 – 2009.12, Project Leader, Dynamic Integration Testing of Reconfigurable Systems with Alternative Components, sponsored by Freescale Inc.
	• 2006.12 – 2008.12, Project Leader, Research on Integrated Information Services of CGH Microarray-based Pharmocogenomics Database, Tsinghua 985 Foundation Research program.
	• 2006.7 – 2007.7, Project Leader, Ontology-Based Collaborative Verification and Validation of Service-Oriented Applications, IBM Inc.(No. 20063000238).
	• 2003.1 -- 2005.12, Project Leader, Research on Integration Test Planning of Olympic Information Systems and the Prototype development of Test Management Platform, National Key Technology Program (No. 2002BA904B13).

Publications
	[1]. X. Bai, etc, “A Framework of Contract-Based Collaborative Verification and Validation of Web Services”, to appear in The 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, July 2007.
	[2]. X. Bai, D. Xu, G. Dai, W. T. Tsai, and Y. Chen, “Dynamic Reconfigurable Testing of Service-Oriented Architecture”, to appear in 31st IEEE Computers, Software, and Applications Conference (COMPSAC), July 2007.
	[3]. G. Dai, X. Bai, Y. Wang and F. Dai, “Contract-Based Testing for Web Services”, to appear in 31st IEEE Computers, Software, and Applications Conference (COMPSAC), July 2007.
	[4]. X. Bai, S. Lee, and Y. Chen, “Mutation-Based Simulation Test Data Generation for Testing Complex Real-Time Software”, Proc. Of IEEE the 40th Annual Simulation Symposium (ANSS), March 2007, pp. 72-80.
	[5]. Y. Wang, X. Bai, J. Li and R. Huang, “Ontology-Based Test Case Generation for Testing Web Services”, to appear in the proceeding of IEEE 8th International Symposium on Autonomous Decentralized Systems (ISADS), March 2007.
	[6]. D. Xu, X. Bai, and G. Dai, "A Tuple-Space-Based Coordination Architecture for Test Agenst in the MAST Framework", in the proceeding of IEEE Symposium on Service Oriented System Engineering (SOSE), 2006, pp.57-63.
	[7]. X. Bai, G. Dai, D. Xu and W. T. Tsai, “A Multi-Agent Based Framework for Collaborative Testing on Web Services”, in the Proceeding of IEEE Workshop on Collaborative Computing, Integration, and Assurance (WCCIA), 2006，pp. 205-210.(EI: 064610239440)
	[8]. X. Bai, Z. Cao and Y. Chen, “Design of a Trustworthy Service Broker and Dependence-Based Progressive Group Testing”, to appear in the International Journal of High Performance Computing and Networking.
	[9]. W.T. Tsai, X. Bai, Y. Chen, and X. Zhou, “Web Services Group Testing with Windowing Mechanisms”, in the proceeding of IEEE Workshop on Service Oriented System Engineering (SOSE), 2005, Oct. 2005, pp. 213-218.
	[10]. X. Bai, W. Dong, W.T. Tsai, and Y. Chen, “WSDL-Based Automatic Test Case Generation for Web Services Testing”, in the proceeding of IEEE Workshop on Service Oriented System Engineering (SOSE),Oct. 2005, pp. 207-212.
	[11]. L. Luo，and X. Bai, “Web Services-Based Test Report Generation”, Tsinghua Science and Technology, Vol. 10, No. 3, June 2005, pp. 282-287.
	[12]. X. Bai, W.T. Tsai, R. Paul, T. Shen and B. Li, “Distributed End-to-End Testing Management”, in Proc. of IEEE EDOC, 2001, pp.140-151.
	[13]. W.T. Tsai, X. Bai, R. Paul, and L. Yu, “Scenario-Based Functional Regression Testing”, IEEE Proc. of COMPSAC, 2001, pp.496-501.
	[14]. W.T. Tsai, X. Bai, R. Paul, W. Shao, and V. Agarwa, “End-to-End Integration Testing Design”, IEEE Proc. of COMPSAC, 2001, pp.166-171.
	[15]. Y. Dong，X. Bai and S. Zhang, “Agile methods analysis based on the inverse problem theory”，Pre-Proceeding of Andrei Ershov Fifth International Conference, July, 2003.
	[16]. X. Bai, W.T. Tsai, R. Paul, K. Feng, and L. Yu,“Scenario-Based Modeling And Its Applications to Object-Oriented System Analysis, Design and Testing”, in Proc. of IEEE WORDS, 2002， pp.253-260.
	[17]. W.T. Tsai, X. Bai, R. Paul, G. Devaraj, and V. Agarwal, “An Approach to Modify and Test Expired Window Logic”, in IEEE Proc. of APAQS, 2000, pp. 99-108.
	[18]. W.T. Tsai, X. Bai, B. Huang, G. Devaraj, and R. Paul, “Automatic Test Case Generation for GUI Navigation”, in The Thirteenth International Software & Internet Quality Week, 2000.
In Chinese:
	[19]. Z. Wang, X. Bai, G. Dai, “Automatic GUI Test Case Generation Based on Colored Petri-Net”, to appear in Tsinghua Science and Technology.
	[20]. J. Xie, X. Bai, B. Chen and S. Xiao, “A Survey on Enterprise Service Bus”, to appear in Computer Science.
	[21]. Y. Ji, X. Bai and R. Xu, “A Modified Jelinski-Moranda Software Reliability Growth Model”, Tsinghua Science and Technology, 46(10), 2006, pp. 1759-1761, 1766.
	[22]. A. Yang, X. Bai and C. Zhao, “A Model for Software Configuration Management Based on Logical Element Relationship”, Tsinghua Science and Technology, 46(10), 2006, pp. 1788-1792.
	[23]. X. Bai, C. Zhao, and G. Dai, “Research on Web Services Testing”, Computer Science, 33(2), 2006, 252-256.
	[24]. C. Zhao, X. Bai and Z. Wang, “A Framework for Evaluating the Capabilities of Performance Testing Tools”, Computer Science, 33(3), 2006, pp. 244-248.
	[25]. X. Bai, C. Zhao, and R. Xu, “A Framework for Evaluating Test Management Tools”, Computer Science, 33(4), 2006, pp.4-8.
	[26]. Z. Shao, X. Bai and C. Zhao, “Research and Implementation of a Reuse-Oriented Test Design Model”, Mini Microsystems, 27(11), 2006, pp.2150-2155.
	[27]. Y. Xiong and X. Bai, “A RBAC Model in Workflow Management System”, Computer Engineering, 32(22), 2006, pp. 78-80,86.
	[28]. A. Yang and X. Bai, “Software Test Configuration Management System Supporting Change Impact Analysis”, Software Engineering, 32(23), 2006, pp. 73-75.
	[29]. L. Luo, X. Bai, “A Survey of Web Services Technology”, Computer Science, 2004, 31(4), pp.19-23.
	[30]. L. Luo, X. Bai, “A Review of the XML-Based RPC Technology”, Computer Science, 31(2), 2004, pp. 167-170, 174.

	[19]. 王钊，白晓颖，戴桂兰，“基于有色Petri网模型的GUI测试用例自动生成技术”，清华大学学报(自然科学版)。
	[20]. 谢继晖, 白晓颖, 陈斌, 肖思南, “企业服务总线研究综述”，《计算机科学》。
	[21]. 纪元，白晓颖，徐睿，“一种改进的Jelinski-Moranda软件可靠性增长模型”，清华大学学报(自然科学版)，46(10)，2006，pp. 1759-1761, 1766。
	[22]. 杨爱华，白晓颖，赵冲冲，“一种基于逻辑元素间关系的软件配置管理模型”，清华大学学报(自然科学版)，46(10)，2006, pp. 1788-1792。
	[23]. 白晓颖，赵冲冲，戴桂兰, “Web服务测试研究”，《计算机科学》，33(2)，2006，252-256。
	[24]. 赵冲冲，白晓颖，王钊，“性能测试工具能力评估框架研究”，《计算机科学》，33(3)，2006，pp. 244-248。
	[25]. 白晓颖，赵冲冲，徐睿，“测试管理工具能力评估框架研究”，《计算机科学》，33(4)，2006，pp.4-8。
	[26]. 邵正隆，白晓颖，赵冲冲，“面向复用的测试设计模型的研究与实现”，《小型微型计算机系统》，27(11)，2006，pp.2150-2155。
	[27]. 熊云，白晓颖，“一种工作流管理系统中的访问控制模型”，《计算机工程》，32(22)，2006，pp. 78-80,86。
	[28]. 杨爱华，白晓颖，“支持变更影响分析的软件测试配置管理系统”，《计算机工程》，32(23)，2006，pp. 73-75。
	[29]. 罗玲，白晓颖,“Web Services 技术分析”，《计算机科学》，2004，31(4)，pp.19-23。
	[30]. 罗玲，白晓颖,“基于XML的RPC技术分析”，《计算机科学》，2004，31(2)， pp. 167-170，174。

Synergistic Activities
	• Program Chair of IEEE International Workshop on Service-Oriented System Engineering (SOSE 2005), Beijing, October 2005.
	• Member of IEEE Workshop on Evaluation and Evolution of Component Composition (EECC)
	• Publicity Chair of Asian Semantic Web Conference (ASWC)
	• Member of IEEE International Conference on e-Business Engineering (ICEBE).
	• Member of International Symposium on Autonomous Decentralized Systems (ISADS).
	• Member of International Conference on Web Information Systems Engineering (WISE).
	• Member of International Workshop on Collaborative Computing, Integration, and Assurance (WCCIA).
	• Member of IEEE High Assurance Systems Engineering Symposium (HASE).

Awards
	• IBM Faculty Award, 2007.
	• Tsinghua Fellowship: Excellent Teaching Award, 2002.