Xutong Ma

According to our database, Xutong Ma authored at least 10 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.

Xutong Ma, Jiwei Yan, Hao Zhang, Jun Yan, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures.

Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang

CoRR, 2022

2021

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.

Xutong Ma, Jiwei Yan, Wei Wang, Jun Yan, Jian Zhang, Zongyan Qiu

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

GTFuzz: Guard Token Directed Grey-Box Fuzzing.

Rundong Li, Hongliang Liang, Liming Liu, Xutong Ma, Rong Qu, Jun Yan, Jian Zhang

Proceedings of the 25th IEEE Pacific Rim International Symposium on Dependable Computing, 2020

2019

Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.

Xutong Ma, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs.

Xutong Ma, Jiwei Yan, Yaqi Li, Jun Yan, Jian Zhang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Approximating Integer Solution Counting via Space Quantification for Linear Constraints.

Cunjing Ge, Feifei Ma, Xutong Ma, Fan Zhang, Pei Huang, Jian Zhang

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

2018

A New Probabilistic Algorithm for Approximate Model Counting.

Cunjing Ge, Feifei Ma, Tian Liu, Jian Zhang, Xutong Ma

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018