| 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 | 200 | 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 | 124 | 2013 |
| Decidable logics combining heap structures and data P Madhusudan, G Parlato, X Qiu 38th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming …, 2011 | 106 | 2011 |
| 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 | 91 | 2009 |
| 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 | 90 | 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 | 75 | 2012 |
| 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 | 68 | 2020 |
| 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 | 60 | 2015 |
| 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 | 47 | 2016 |
| Efficient decision procedures for heaps using STRAND P Madhusudan, X Qiu 18th International Static Analysis Symposium, 43-59, 2011 | 46 | 2011 |
| 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 | 46 | 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 | 44 | 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 | 37* | 2017 |
| 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 | 33 | 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 | 30 | 2017 |
| 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 | 11 | 2019 |
| 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 (1), 75-95, 2017 | 11 | 2017 |
| 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 | 11 | 2006 |
| 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 | 10 | 2008 |
| Path-oriented tool supporting for testing. XK Qiu, XD Li Dianzi Xuebao(Acta Electronica Sinica) 32 (12), 231-234, 2004 | 10* | 2004 |
Armando Solar-LezamaMITVerified email at csail.mit.edu
