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
1932006
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
1192013
Decidable logics combining heap structures and data
P Madhusudan, G Parlato, X Qiu
38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2011
892011
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
892009
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
802014
Recursive Proofs for Inductive Tree Data-Structures
P Madhusudan, X Qiu, A Stefanescu
39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2012
682012
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
452016
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
432020
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
412009
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
262017
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
192020
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
132006
Path-oriented tool supporting for testing.
XK Qiu, XD Li
Dianzi Xuebao(Acta Electronica Sinica) 32 (12), 231-234, 2004
13*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
112008
Program synthesis with algebraic library specifications
B Mariano, J Reese, S Xu, TV Nguyen, X Qiu, JS Foster, A Solar-Lezama
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-25, 2019
72019
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
The system can't perform the operation now. Try again later.
Articles 1–20