Xutong Ma

Xutong Ma

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4946499
-
person_outline Xutong Ma's MOST POPULAR ARTICLES
1-) Detecting memory-related bugs by tracking heap memory management of C++ smart pointers 2021 36th IEEE/ACM International Conference on Automated Software …, 2021
2-) Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
3-) GTFuzz: Guard token directed grey-box fuzzing 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing …, 2020
4-) Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI, 1697-1703, 2019
5-) A new probabilistic algorithm for approximate model counting Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as …, 2018