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 formal methods with José Meseguer.

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:

2111A Siebel Center
201 N Goodwin Ave
Urbana, IL 61801
phone: +1-(217)-333-5219

Selected Publications

• UML State Machine Diagram Driven Runtime Verification of Java Programs for Message Interaction Consistensy
  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