崔保全

博士后

程序分析与软件测试

组内经历

2025–至今
博士后
2025 年毕业
博士

论文

9 篇论文

2024

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

2023

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

2022

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

2021

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

2020

Static asynchronous component misuse detection for Android applications
ESEC/FSE 2020CCF ALinjie 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

CCF 分类依据第七版《中国计算机学会推荐国际学术会议和期刊目录》。