Xutong Ma

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 11

Top Topics

Satisfiability Modulo Theories

Static Analysis

Integer Solution

Top Venues

Publications

Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count. ASE (2023)
Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang
PSMT: Satisfiability Modulo Theories Meets Probability Distribution. ASE (2023)
Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang
Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures. CoRR (2022)
Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers. ASE (2021)
Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang
GTFuzz: Guard Token Directed Grey-Box Fuzzing. PRDC (2020)
Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang
SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs. ASE (2019)
Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis. QRS (2019)
Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang
Approximating Integer Solution Counting via Space Quantification for Linear Constraints. IJCAI (2019)
Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang
Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android. ISSTA (2019)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. PRUV@IJCAR (2018)
Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma
A New Probabilistic Algorithm for Approximate Model Counting. IJCAR (2018)