|
|
|
Software Engineering Group State Key Laboratory for Novel
Software Technology Office: Room 503A, Meng Minwei Building |
|
Research |
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 (ICSEW2007，SESS07), 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.
|
Teaching
|
·
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 Technology，Nanjing
University
|
Research Demo
|
Last
Modified ：Feb. 12, 2010