Author of the publication

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

, , , and . QRS, page 260-271. IEEE, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Detecting Memory-Related Bugs by Tracking Heap Memory Management of C++ Smart Pointers., , , , , and . ASE, page 880-891. IEEE, (2021)Approximating Integer Solution Counting via Space Quantification for Linear Constraints., , , , , and . IJCAI, page 1697-1703. ijcai.org, (2019)Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures., , , , , and . CoRR, (2022)A New Probabilistic Algorithm for Approximate Model Counting., , , , and . IJCAR, volume 10900 of Lecture Notes in Computer Science, page 312-328. Springer, (2018)SPrinter: A Static Checker for Finding Smart Pointer Errors in C++ Programs., , , , and . ASE, page 1122-1125. IEEE, (2019)PSMT: Satisfiability Modulo Theories Meets Probability Distribution., , , , , , , and . ASE, page 1756-1760. IEEE, (2023)Detecting Memory Errors in Python Native Code by Tracking Object Lifecycle with Reference Count., , , , and . ASE, page 1429-1440. IEEE, (2023)GTFuzz: Guard Token Directed Grey-Box Fuzzing., , , , , , and . PRDC, page 160-170. IEEE, (2020)Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android., , , , , and . ISSTA, page 394-397. ACM, (2019)Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis., , , and . QRS, page 260-271. IEEE, (2019)