Linzhang Wang

   Associate Professor


Software Engineering Group
Department of Computer Science and Technology

State Key Laboratory for Novel Software Technology
Nanjing Univeristy

Office: Room 503A, Meng Minwei Building
Address: Department of Computer Science and Technology, Nanjing University
No.22, Hankou Road, Nanjing, Jiangsu, P.R. China 210093.
Tel: +86 25 83594683
Fax: +86 25 83594683
Email: lzwang AT nju.edu.cn




        My research interests span software analysis, testing and verification, focusing on model-driven, aspect-oriented techniques and tools for improving and ensuring software dependability and security.

   Current Projects

·        An aspect-oriented approach for modeling, testing and verification of nonfunctional specification of software systems(China NSF,60603036, PI)

·        An UML-based approach for testing and verification of software security(Jiangsu NSF, BK20070139, PI)

·        Jasmine: A model-driven testing and verification framework(Jiangsu Software Testing Center, Co-PI)

·        A production line for analysis and evaluation of software dependability(863 High Tech Plan, 2007AA010302, Co-PI)

   Selected Recent Publications

[1]     Bu Lei, Li You, Wang Linzhang, Chen Xin, Li Xuandong. BACH 2: Bounded Reachability Checker for Compositional Linear Hybrid Systems. In Proceedings of Design, Automation & Test in Europe Conference and Exposition (DATE2010), Germany, ACM Press, 2010.

[2]     Yang Lu, Yu Liqian, Tan Jianwen, Wang Linzhang, Zhao Jianhua, Li Xuandong. McC++/Java: Enabling Multi-core Based Monitoring and Fault Tolerance in C++/Java. In Proceedings of 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS2010), England, IEEE Computer Society Press, 2010.

[3]     Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li. UML Activity Diagram-Based Automatic Test Case Generation for Java Programs. In The Computer Journal, Vol.52, No.5, Oxford Press, 2009, pp.545-556.

[4]     Dianxiang Xu, Omar El Ariss, Weifeng Xu, Linzhang Wang. Aspect-Oriented Modeling and Verification with Finite State. In Journal of Computer Science and Technology, Vol.25, No.5, Springer, 2009, pp.949-961.

[5]     Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu. Modeling and Integrating of Aspects with UML Activity Diagrams. In Proceedings of the 24th Annual ACM Symposium on Applied Computing (ACM SAC2009), USA, ACM Press, 2009, pp.430-437.

[6]     Zhanqi Cui, Linzhang Wang, Xuandong Li. Computational Error Handling as Aspects: A Case Study. In Proceedings of International Workshop on Linking Aspect Technology and Evolution (PLATE2009), USA, ACM Press, 2009, pp.7-11.

[7]     Zhixiong Han, Linzhang Wang, Liqian Yu, Xin Chen, Jianhua Zhao and Xuandong Li. Design Pattern Directed Clustering for Understanding Open Source Code. In Proceedings of 17th IEEE International Conference on Program Comprehension (ICPC2009), Canada, IEEE Computer Society Press, 2009, pp.295-296.

[8]     Zhou Zhou, Linzhang Wang, Zhanqi Cui, Xin Chen, Jianhua Zhao: Jasmine: A Tool for Model-Driven Runtime Verification with UML Behavioral Models. HASE 2008: 487-490

[9]     Lei Bu, You Li, Linzhang Wang and Xuandong Li. BACH : Bounded ReAchability CHecker for Linear Hybrid Automata. In Proceedings of International Conference on Formal Methods in Computer Aided Design 2008 (FMCAD2008), Portland, OR, USA, IEEE Computer Society, pp.65-68

[10]  Jianhua Zhao, Linzhang Wang, Xuandong Li: A Partial Order Reduction Technique for Parallel Timed Automaton Model Checking. ISoLA 2008: 262-276

[11]  Bin Lei, Linzhang Wang , Xuandong Li,  UML Activity Diagram Based Testing of Java Concurrent Programs for Data Race and Inconsistency, Proceeding of the First International Conference on Software Testing, Verification and Validation, Lillehammer, Norway, April 9-11 2008

[12]  Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong. UML State Machine Diagram Driven Runtime Verification of Java Programs for Message Interaction Consistency. In Proceedings of the 23rd Annual ACM Symposium on Applied Computing (ACM SAC2008), Brazil, ACM Press, 2008, pp.389-394.

[13]  Linzhang Wang, Eric Wong, Dianxiang Xu, A Threat Model Driven Approach for Security Testing, Proceeding of 29th International. Conference on Software Engineering Workshop (ICSEW2007SESS07), Minneapolis, Minnesota, 20 - 26 May, 2007.

[14]  Wang Linzhang, Yuan Jiesong, Yu Xiaofeng, Hu Jun, Li Xuandong, Zheng Guoliang,Generating Test Cases from UML Activity Diagram based on Gray-box Method, 11th  Asia-pacific Software Engineer Conference(APSEC2004), Busan, Korea,Nov.30-Dec.4, 2004.

[15]  Li Xuandong, Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua, Zheng Guoliang. Runtime Verification of Java Programs for Scenario-Based Specifications. In Proceedings of the 11th International Conference on Reliable Software Technologies (AE2006), Portugal, 2006, Lecture Notes in Computer Science, Springer.

[16]  Xiaofeng Yu, Yan Zhang, Tian Zhang, Jun Hu, Linzhang Wang, JianHua Zhao, Xuandong Li. A Model Driven Development Framework for Enterprise Web Services. Information System Frontiers.  Vol.9, No.4, Springer Netherlands, 2007. pp.391-409. 

[17]  YU Xiaofeng, HU Jun, ZHANG Yan, ZHANG Tian, WANG Linzhang, ZHAO Jianhua, LI Xuandong. Towards a Model Driven Approach to Automatic BPEL Generation. In: Proceedings of Third European Conference on Model Driven Architecture: Foundations and Applications (ECMDA-FA 2007). Lecture Notes in Computer Science, Vol.4530, Springer-Verlag, Berlin Heidelberg New York, 2007.

[18]  Xiaofeng Yu, Jun Hu, Yan Zhang, Tian Zhang, Xuandong Li, Linzhang Wang, and Jianhua Zhao. A Model Driven Development Framework for Enterprise Web Services. In: Proceedings of 10th IEEE International EDOC Enterprise Computing Conference (EDOC 2006). IEEE Computer Society, 2006. 75-85.

[19]  Jun Hu, Xiaofeng Yu, Yan Zhang, Tian Zhang, Linzhang Wang, Xuandong Li, Guoliang Zheng: Scenario-Based Specifications Verification for Component-Based Embedded Software Designs. ICPP Workshops 2005: 240-247.


·        2010 Spring: Software Architecture

·        2009 Fall:  Software Engineering

Professional Activities 

·        PC Member: 4th IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE10), Taipei, Taiwan, ROC, August 25 - 27, 2010.

·        PC Member: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE09), Tianjin, China, July 29 - 31, 2009.

·        PC Member & Organization Chair: HASE'08, Nanjing, China, Dec. 3-5, 2008.

·        PC Member & Organization Chair: TASE'08, Nanjing, China, June 17-19, 2008.

·        Library Committee Member of Computer Science Department of TechnologyNanjing University


Research Demo 

·        Jasmine-AOI


Last Modified Feb. 12, 2010