Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Xiaokang Qiu
2010 – today
- 2013
[c8]Xiaokang Qiu, Pranav Garg, Andrei Stefanescu, Parthasarathy Madhusudan: Natural proofs for structure, data, and separation. PLDI 2013: 231-242- 2012
- [c7]Parthasarathy Madhusudan, Xiaokang Qiu, Andrei Stefanescu: Recursive proofs for inductive tree data-structures. POPL 2012: 123-136
- 2011
- [j2]Xuandong Li, Xiaokang Qiu, Linzhang Wang, Xin Chen, Zhou Zhou, Liqian Yu, Jinhua Zhao: UML interaction model-driven runtime verification of Java programs. IET Software 5(2): 142-156 (2011)
- [c6]P. Madhusudan, Gennaro Parlato, Xiaokang Qiu: Decidable logics combining heap structures and data. POPL 2011: 611-622
- [c5]
2000 – 2009
- 2009
- [j1]Mingsong Chen, Xiaokang Qiu, Wei Xu, Linzhang Wang, Jianhua Zhao, Xuandong Li: UML Activity Diagram-Based Automatic Test Case Generation For Java Programs. Comput. J. 52(5): 545-556 (2009)
- [c4]Abdullah Al-Nayeem, Mu Sun, Xiaokang Qiu, Lui Sha, Steven P. Miller, Darren D. Cofer: A Formal Architecture Pattern for Real-Time Distributed Systems. RTSS 2009: 161-170
- 2008
- [c3]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. SAC 2008: 384-389
- 2006
- [c2]Xuandong Li, Linzhang Wang, Xiaokang Qiu, Bin Lei, Jiesong Yuan, Jianhua Zhao, Guoliang Zheng: Runtime Verification of Java Programs for Scenario-Based Specifications. Ada-Europe 2006: 94-105
- [c1]Mingsong Chen, Xiaokang Qiu, Xuandong Li: Automatic Test Case Generation for UML Activity Diagrams. AST 2006: 2-8
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-11 09:59 CEST by the dblp team