Baoquan Cui

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 9

Top Topics

Misuse Detection

Dynamic Analysis

Top Venues

Publications

Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang
Detection of Java Basic Thread Misuses Based on Static Event Analysis. 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)
Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian Zhang
String Test Data Generation for Java Programs. ISSRE (2022)
Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
ExcePy: A Python Benchmark for Bugs with Python Built-in Types. SANER (2022)
Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang
Dynamic Detection of AsyncTask Related Defects. QRS (2021)
Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang
Are the Scala Checks Effective? Evaluating Checks with Real-world Projects. QRS (2021)
Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang
Static asynchronous component misuse detection for Android applications. ESEC/SIGSOFT FSE (2020)
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)