Baoquan Cui

Postdoctoral Fellow

Program Analysis and Software Testing

Group Experience

2025–Present
Postdoctoral Fellow
Graduated 2025
PhD

Publications

9 publications

2024

DMMPP: Constructing Dummy Main Methods for Android Apps with Path-Sensitive Predicates
ISSTA 2024Baoquan CuiJiwei Yan Jian Zhang
Code

2023

Detection of Java Basic Thread Misuses Based on Static Event Analysis
ASE 2023Baoquan CuiMiaomiao Wang Chi Zhang Jiwei Yan Jun Yan Jian Zhang
Code
PSMT: Satisfiability Modulo Theories Meets Probability Distribution
ASE 2023Fuqi Jia Rui Han Xutong MaBaoquan CuiMinghao Liu Pei Huang Feifei Ma Jian Zhang
Code

2022

ExcePy: A Python Benchmark for Bugs with Python Built-in Types
SANER 2022Xin Zhang Rongjie Yan Jiwei YanBaoquan CuiJun Yan Jian Zhang
String Test Data Generation for Java Programs
ISSRE 2022Miaomiao WangBaoquan CuiJiwei Yan Jun Yan Jian Zhang

2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects
QRS 2021Xin Zhang Jiwei YanBaoquan CuiJun Yan Jian Zhang
Dynamic Detection of AsyncTask Related Defects
QRS 2021Qing Liu Linjie PanBaoquan CuiJun Yan Jian Zhang

2020

Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020Linjie PanBaoquan CuiHao LiuJiwei YanSiqi WangJun Yan Jian Zhang

2019

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android
ISSTA 2019Linjie PanBaoquan CuiJiwei Yan Xutong Ma Jun Yan Jian Zhang