Xutong Ma
Orcid: 0009-0009-1510-1668
According to our database1,
Xutong Ma
authored at least 11 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024
2023
Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count.
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
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.
CoRR, 2022
2021
Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021
2020
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.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019
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.
Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019
Approximating Integer Solution Counting via Space Quantification for Linear Constraints.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
2018
Proceedings of the Second Workshop on Logics for Reasoning about Preferences, 2018