Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android L Pan, B Cui, J Yan, X Ma, J Yan, J Zhang Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019 | 8 | 2019 |
GTFuzz: Guard token directed grey-box fuzzing R Li, HL Liang, L Liu, X Ma, R Qu, J Yan, J Zhang 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing …, 2020 | 7 | 2020 |
Detecting memory-related bugs by tracking heap memory management of C++ smart pointers X Ma, J Yan, W Wang, J Yan, J Zhang, Z Qiu 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 6 | 2021 |
A new probabilistic algorithm for approximate model counting C Ge, F Ma, T Liu, J Zhang, X Ma Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018 | 6 | 2018 |
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. C Ge, F Ma, X Ma, F Zhang, P Huang, J Zhang IJCAI, 1697-1703, 2019 | 5 | 2019 |
Reorganizing and optimizing post-inspection on suspicious bug reports in path-sensitive analysis X Ma, J Yan, J Yan, J Zhang 2019 IEEE 19th International Conference on Software Quality, Reliability and …, 2019 | 5 | 2019 |
Improving tese case generation for Python native libraries through constraints on input data structures X Zhang, X Ma, J Yan, B Cui, J Yan, J Zhang arXiv preprint arXiv:2206.13828, 2022 | 1 | 2022 |
SPrinter: a static checker for finding smart pointer errors in C++ programs X Ma, J Yan, Y Li, J Yan, J Zhang 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 1 | 2019 |
PSMT: Satisfiability Modulo Theories Meets Probability Distribution F Jia, R Han, X Ma, B Cui, M Liu, P Huang, F Ma, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count X Ma, J Yan, H Zhang, J Yan, J Zhang 2023 38th IEEE/ACM International Conference on Automated Software …, 2023 | | 2023 |