Xiaokang Qiu
Citado por
Citado por
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
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
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
Decidable logics combining heap structures and data
P Madhusudan, G Parlato, X Qiu
38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2011
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
Recursive Proofs for Inductive Tree Data-Structures
P Madhusudan, X Qiu, A Stefanescu
39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2012
Synthesizing framework models for symbolic execution
J Jeon, X Qiu, J Fetter-Degges, JS Foster, A Solar-Lezama
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE …, 2016
Efficient decision procedures for heaps using STRAND
P Madhusudan, X Qiu
18th International Static Analysis Symposium, 43-59, 2011
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
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
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
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
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
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
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
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
Path-oriented tool supporting for testing.
XK Qiu, XD Li
Dianzi Xuebao(Acta Electronica Sinica) 32 (12), 231-234, 2004
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
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
Learning network design objectives using a program synthesis approach
Y Wang, C Jiang, X Qiu, SG Rao
Proceedings of the 18th ACM Workshop on Hot Topics in Networks, 69-76, 2019
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20