Zhanqi Cui (崔展齐)

	Ph.D. Software Engineering Group State Key Laboratory for Novel Software and Technology Department of Computer Science and Technology Nanjing University Room 503, Mengmingwei Building, 22 Hankou Road Nanjing, China 210093 Email: zqcui AT seg.nju.edu.cn

Research Interests

• Aspect-oriented software modeling, testing, and verification
• Model-based software testing
• Hybrid testing techniques based on static analysis

Education

• Ph.D. Department of Computer Science and Technology, Nanjing University, June 2011. Worked with Prof. Xuandong Li and Prof. Linzhang Wang.
• M.S. Department of Computer Science and Technology, Nanjing University, Upgraded to Ph.D. June 2008. Worked with Prof. Xuandong Li and Prof.Linzhang Wang.
• B.S. Software Institute, Nanjing University, June 2005
  

Projects

• Modeling, testing, and optimizing technologies for error control polices of deep space probe systems (Nanjing University, 2008CL07, PI)
• An aspect-oriented approach for modeling, testing and verification of nonfunctional specification of software systems (China NSF, 60603036)
• An UML-based approach for testing and verification of software security(Jiangsu NSF, BK2007139)
• Jasmine: A model-driven testing and verification framework (Jiangsu Software Testing Center)
• A production line for analysis and evaluation of software dependability (863 High Tech Plan, 2007AA010302)

Publications

Journal:

• 崔展齐, 王林章, 刘慧根, 李宣东, 面向方面的误差处理技术:实例研究和评估, 软件学报, 2011年11期, 2639-2651. (EI: 20114814570359).
• 崔展齐, 王林章, 李宣东, 一种目标制导的混合执行测试方法, 计算机学报, 2011年6期. 953-964. (EI: 20112814137475).

Peer Revivewed Conference and Workshop Papers:

• Zhanqi Cui, Linzhang Wang, Xi Liu, Lei Bu, Jianhua Zhao, Xuandong Li. Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer. The Twenty-Fourth International Conference on Software Engineering and Knowledge Engineering (SEKE), Redwood City, USA, July 1-3, 2012.
• Lu Yang, Zhanqi Cui, and Xuandong Li. A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture. Proceedings of 11th IEEE HPCC Workshop on Multicore and Multithreaded Architectures and Programming (MMAP), Seoul, Korea, June 25, 2009. (ISTP: BMY62/000273922400086, EI: 20094712487658)
• Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu. Modeling and Integrating Aspects with UML Activity Models. Proceedings of the 24th Annual ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 8 - 12, 2009. (EI: 20100112605408)
• Zhanqi Cui, Linzhang Wang, Huigen Liu, Xuandong Li. Computational Error Handling as Aspects: A Case Study. Proceedings of the 1st AOSD Workshop on Practices of Linking Aspect Technology and Evolution (PLATE), Charlottesville, Virginia, USA, March 3, 2009. (ISTP: BNX13/000275798700002, EI: 20102613042262)
• Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao. Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium(HASE), Nanjing, China, December 3 - 5, 2008. (ISTP: BIV51/000263156000055, EI: 20090511880645)

Posters:

• Zhanqi Cui. Modeling, Verification, and Testing of Non-Functional Requirements with Aspects. Student Poster Event of the 8th International Conference on Aspect-Oriented Software Development, Charlottesville, Virginia, USA, March 4, 2009.

  Technical Report:

• Zhanqi Cui, Wei Le, Mary Lou Soffa, Linzhang Wang, Xuandong Li. MAGIC: Path-Guided Concolic Testing.
• Zhanqi Cui, Linzhang Wang and Xuandong Li. Jasmine-AOI: A Tool to Integrate Aspect with UML Activity Diagrams.

Presentations

• Modeling and Integrating Aspects with UML Activity Models, SAC, Honolulu, Hawaii, USA, March 12, 2009. (Slides)
• Computational Error Handling as Aspects: A Case Study, PLATE, Charlottesville, Virginia, USA, March 3, 2009. (Slides)

Activities

Past:

• The 24th Annual ACM Symposium on Applied Computing (SAC 2009, March 8 - 12, 2009, Honolulu, Hawaii, USA)
• The 8th International Conference on Aspect-Oriented Software Development (AOSD 2009, March 2 - 6, Charlottesville, Virginia, USA)
• The 11th IEEE High Assurance Systems Engineering Symposium (HASE 2008, Dec. 3-5, 2008, Nanjing, China)
• The 2nd IEEE Theoretical Aspects of Software Engineering Conference (TASE 2008, June 17-19, 2008, Nanjing University, Nanjing)
• UNU-IIST Spring School on Foundation and Advance Software Engineering (April 28 - May 9, 2008, Guizhou Normal University, Guiyang)
  
• ICTC Training School (September 10-21, 2007, East China Normal University, Shanghai)
  
• Artist2/UNU-IIST 2007 Summer School (August 1-10, 2007, Soochow University, Suzhou)
• The 11th IEEE International Conference on High Performance Computing and Communications (HPCC 2009, June 25-27, 2009, Seoul, Korea)
• The 12th International Conference on Formal Engineering Methods (ICFEM 2010, Nov 17-19, 2010, Shanghai, China)
• The Twenty-Fourth International Conference on Software Engineering and Knowledge Engineering (SEKE), Redwood City, USA, July 1-3, 2012.

Tools

• Jasmine
• Jasmine-AOI
• Jasmine-AOV

　　Visitors of my homepage:

　　Last update: