Department of Computer Science and Technology
Office: Room 720, Changzhou Building, Xianlin Campus
Address: Department of Computer Science and Technology, Nanjing University
163 Xianlin Road, Nanjing, Jiangsu, P.R. China 210023.
Tel: +86 25 89683671
Fax: +86 25 83300710
Research Affiliation: Member of Research Staff
State Key Laboratory for Novel Software Technology
Formal support for design and analysis of
reactive, disturbed, real-time, hybrid, and cyber-physical systems; Software testing and verification; Model driven software development; Service oriented computing.
- Current Projects
- Symbolic execution based testing and verification of complex software systems,
supported by the National Natural Science Foundation of China (No.61632015), 2017-2021
Intelligent techniques for software testing and verification,
supported by the National Key Research and Development Program of China (No.2016YFB1000802), 2016-2019
- Completed Projects
Last updated: Nov. 10, 2001.