( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reorganizing and Optimizing Post-Inspection on Suspicious Bug Reports in Path-Sensitive Analysis.

, , , и . QRS, стр. 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.

Thomas Xutong Qu

Yuzhao Ma

Characterization of higher order modes in optical fibers. Uni Erlangen-Nürnberg, (2009)

Jingxiang Ma

Tsie Ma

Lan Ma

 

Другие публикации лиц с тем же именем

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