Li Xuandong, Zhao Jianhua, Zheng Tao, Li Yong, and Zheng Guoliang. Duration-Constrained Regular Expressions.
In Formal Aspects of Computing,
Vol.16, No.2, Springer, 2004. download
Chinese Journal
崔萌，李宣东，郑国梁. UML实时活动图的形式化分析.
In 《计算机学报》,
No.3，2004，pp.339-346。 download
邱晓康，李宣东. 一个面向路径的软件测试辅助工具.
In 《电子学报》,
Vol.32，No.12A，2004，pp.2091-2095。 download
International Conference & Workshop
Pei Yu and Xu Qiwen. Checking Interval Based Properties for Reactive Systems.
In Verification, Model Checking, and Abstract Interpretation (VMCAI 2004),
Lecture Notes in Computer Science 2937, Springer, 2004, pp.122-134. download
Linzhang Wang, Jiesong Yuan, Xiaofeng Yu, Jun Hu, Xuandong Li and Guoliang Zheng. Generating Test Cases from UML Activity Diagram Based on Gray-Box Method.
In Proceedings of the 11th Asia-Pacific Software Engineering Conference,
IEEE Computer Society, 2004, pp.284-291. download
Li Xuandong, Zhao Jianhua, Gong Jiayu, Shi Yaoxin, and Zheng Guoliang. Verifying Compositional Designs for Scenario-Based Timing Specifications.
In Proceedings of the 7th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC2004),
Vienna, Austria, 2004. download
