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. download
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. download
Chinese Journal
张天, Frederic Jouault, Jean Bezivin, 李宣东. 基于MDE的异构模型转换：从MARTE模型到FIACRE模型.
In 《软件学报》,
Vol.20，No.2，2009，pp.214-233。 download
杨璐，柳溪，王林章，陈鑫，李宣东. 面向基于场景规约的Web服务消息流分析与验证.
In 《计算机学报》,
Vol.32，No.9，2009，pp.1759-1772。 download
International Conference & Workshop
Zhanqi Cui, Linzhang Wang, Xuandong Li, Dianxiang Xu. Modeling and Integrating 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 download
Pan Minxue, Bu Lei, Li Xuandong. TASS: Timing Analyzer of Scenario-Based Specifications.
In Proceedings of the 21th International Conference on Computer Aided Verification (CAV2009),
France, Lecture Notes in Computer Science, Springer, 2009. download
Lu Yang, Zhanqi Cui, Xuandong Li. A Case Study for Fault Tolerance Oriented Programming in Multi-core Architecture.
In Proceedings of the 11th IEEE International Conference on High Performance Computing and Communications (HPCC2009),
International Workshop on Multicore and Multithreaded Architectures and Programming (MMAP2009), Korea, IEEE Computer Society Press, 2009, pp.630-635. download
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. download
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. download
