Follow
Xiaokang Qiu
Title
Cited by
Cited by
Year
Automatic test case generation for UML activity diagrams
C Mingsong, Q Xiaokang, L Xuandong
Proceedings of the 2006 international workshop on Automation of software …, 2006
2492006
Natural proofs for structure, data, and separation
X Qiu, P Garg, A Ştefănescu, P Madhusudan
Proceedings of the 34th ACM SIGPLAN Conference on Programming Language …, 2013
1182013
Decidable logics combining heap structures and data
P Madhusudan, G Parlato, X Qiu
38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2011
912011
UML activity diagram-based automatic test case generation for Java programs
M Chen, X Qiu, W Xu, L Wang, J Zhao, X Li
The Computer Journal 52 (5), 545-556, 2009
902009
Natural proofs for data structure manipulation in C using separation logic
E Pek, X Qiu, P Madhusudan
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2014
792014
Recursive Proofs for Inductive Tree Data-Structures
P Madhusudan, X Qiu, A Stefanescu
39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2012
672012
JSketch: sketching for Java
J Jeon, X Qiu, JS Foster, A Solar-Lezama
10th Joint Meeting of the European Software Engineering Conference and the …, 2015
512015
Synthesizing framework models for symbolic execution
J Jeon, X Qiu, J Fetter-Degges, JS Foster, A Solar-Lezama
Proceedings of the 38th International Conference on Software Engineering …, 2016
462016
A formal architecture pattern for real-time distributed systems
A Al-Nayeem, M Sun, X Qiu, L Sha, SP Miller, DD Cofer
30th IEEE Real-Time Systems Symposium, 161-170, 2009
422009
Reconciling enumerative and deductive program synthesis
K Huang, X Qiu, P Shen, Y Wang
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020
412020
Efficient decision procedures for heaps using STRAND
P Madhusudan, X Qiu
18th International Static Analysis Symposium, 43-59, 2011
402011
Adaptive Concretization for Parallel Program Synthesis
J Jeon, X Qiu, A Solar-Lezama, JS Foster
27th International Conference on Computer Aided Verification, 377--394, 2015
362015
Synthesis of recursive ADT transformations from reusable templates
JP Inala, N Polikarpova, X Qiu, BS Lerner, A Solar-Lezama
International Conference on Tools and Algorithms for the Construction and …, 2017
32*2017
Natural synthesis of provably-correct data-structure manipulations
X Qiu, A Solar-Lezama
Proceedings of the ACM on Programming Languages 1 (OOPSLA), 1-28, 2017
252017
Vision Paper: Grand Challenges in Resilience: Autonomous System Resilience through Design and Runtime Measures
S Bagchi, V Aggarwal, S Chaterji, F Douglis, A El Gamal, J Han, BJ Henz, ...
IEEE Open Journal of the Computer Society 1, 155-172, 2020
182020
Path-oriented tool supporting for testing.
XK Qiu, XD Li
Dianzi Xuebao(Acta Electronica Sinica) 32 (12), 231-234, 2004
15*2004
UML state machine diagram driven runtime verification of Java programs for message interaction consistency
X Li, X Qiu, L Wang, B Lei, WE Wong
23rd Annual ACM Symposium on Applied Computing, 384-389, 2008
122008
Runtime verification of Java programs for scenario-based specifications
L Xuandong, W Linzhang, Q Xiaokang, L Bin, Y Jiesong, Z Jianhua, ...
International Conference on Reliable Software Technologies, 94-105, 2006
122006
An empirical study of adaptive concretization for parallel program synthesis
J Jeon, X Qiu, A Solar-Lezama, JS Foster
Formal Methods in System Design 50, 75-95, 2017
72017
UML interaction model-driven runtime verification of Java programs
X Li, X Qiu, L Wang, X Chen, Z Zhou, L Yu, J Zhao
IET Software 5 (2), 142-156, 2011
72011
The system can't perform the operation now. Try again later.
Articles 1–20