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.