I am a graduate student in computer science at the University of Illinois at
Urbana-Champaign. I started in Fall 2007 and I am studying logic, theorem proving and program verification with Madhusudan Parthasarathy.
Before starting my studies at the University of Illinois I completed my
Master studies at the Nanjing University,
China in the group of Xuandong Li.
If you need to contact me, the easiest way to do that is by email to "qiu2"
at the domain "illinois.edu". You can also visit me at my office:
3240 Siebel Center
201 N Goodwin Ave
Urbana, IL 61801
phone:
+1-(217)-333-5219
Selected Publications
-
A Formal Architecture Pattern for Real-Time Distributed Systems
Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer
In Proc. 30th IEEE Real-Time System Symposium(RTSS '09), 2009.
-
UML State Machine Diagram Driven Runtime Verification of Java Programs for Message Interaction Consistency
Xuandong Li, Xiaokang Qiu, Linzhang Wang, Bin Lei, W. Eric Wong
In Proc. 23rd ACM Symposium on Applied Computing (SAC '08), 2008.
-
UML Activity Diagram-Based Automatic Test Case Generation for Java Programs
Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li
The Computer Journal, 2007 ; 0: bxm057v1-12
-
Runtime Verification of Java Programs for Scenario-Based Specifications
Li Xuandong , Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua, Zheng Guoliang
Reliable Software Technologies - Ada-Europe 2006, LNCS 4006, Springer
Projects