Practical GUI testing of Android applications via model abstraction and refinement T Gu, C Sun, X Ma, C Cao, C Xu, Y Yao, Q Zhang, J Lu, Z Su 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 182 | 2019 |
Toward understanding compiler bugs in GCC and LLVM C Sun, V Le, Q Zhang, Z Su Proceedings of the 25th International Symposium on Software Testing and …, 2016 | 136 | 2016 |
Perses: syntax-guided program reduction C Sun, Y Li, Q Zhang, T Gu, Z Su Proceedings of the 40th International Conference on Software Engineering …, 2018 | 130 | 2018 |
Skeletal program enumeration for rigorous compiler testing Q Zhang, C Sun, Z Su Proceedings of the 38th ACM SIGPLAN Conference on Programming Language …, 2017 | 114 | 2017 |
Fast algorithms for Dyck-CFL-reachability with applications to alias analysis Q Zhang, MR Lyu, H Yuan, Z Su Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013 | 101 | 2013 |
Context-sensitive data-dependence analysis via linear conjunctive language reachability Q Zhang, Z Su Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 63 | 2017 |
Static inference meets deep learning: a hybrid type inference approach for Python Y Peng, C Gao, Z Li, B Gao, D Lo, Q Zhang, M Lyu Proceedings of the 44th International Conference on Software Engineering …, 2022 | 57 | 2022 |
Cross-library api recommendation using web search engines W Zheng, Q Zhang, M Lyu Proceedings of the 19th ACM SIGSOFT symposium and the 13th European …, 2011 | 47 | 2011 |
Fast graph simplification for interleaved Dyck-reachability Y Li, Q Zhang, T Reps Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 42 | 2020 |
Random unit-test generation with MUT-aware sequence recommendation W Zheng, Q Zhang, M Lyu, T Xie Proceedings of the IEEE/ACM international conference on Automated software …, 2010 | 42 | 2010 |
Efficient subcubic alias analysis for C Q Zhang, X Xiao, C Zhang, H Yuan, Z Su Proceedings of the 2014 ACM International Conference on Object Oriented …, 2014 | 41 | 2014 |
Debug information validation for optimized code Y Li, S Ding, Q Zhang, D Italiano Proceedings of the 41st ACM SIGPLAN Conference on Programming Language …, 2020 | 27 | 2020 |
Subdomain-Based Generality-Aware Debloating Q Xin, M Kim, Q Zhang, A Orso 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 19 | 2020 |
Program debloating via stochastic optimization Q Xin, M Kim, Q Zhang, A Orso Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 19 | 2020 |
Studying and understanding the tradeoffs between generality and reduction in software debloating Q Xin, Q Zhang, A Orso Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 17 | 2022 |
Flow-augmented call graph: A new foundation for taming api complexity Q Zhang, W Zheng, MR Lyu International Conference on Fundamental Approaches to Software Engineering …, 2011 | 16 | 2011 |
Taming transitive redundancy for context-free language reachability Y Lei, Y Sui, S Ding, Q Zhang Proceedings of the ACM on Programming Languages 6 (OOPSLA2), 1556-1582, 2022 | 14 | 2022 |
Calling-to-reference context translation via constraint-guided CFL-reachability C Cai, Q Zhang, Z Zuo, K Nguyen, G Xu, Z Su ACM SIGPLAN Notices 53 (4), 196-210, 2018 | 14 | 2018 |
On the complexity of bidirected interleaved Dyck-reachability Y Li, Q Zhang, T Reps Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021 | 13 | 2021 |
Recursive State Machine Guided Graph Folding for Context-Free Language Reachability Y Lei, Y Sui, SH Tan, Q Zhang Proceedings of the ACM on Programming Languages 7 (PLDI), 318-342, 2023 | 11 | 2023 |