Baoquan Cui

According to our database, Baoquan Cui authored at least 9 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

PSMT: Satisfiability Modulo Theories Meets Probability Distribution.

Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu, Pei Huang, Feifei Ma, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Detection of Java Basic Thread Misuses Based on Static Event Analysis.

Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

Improving Tese Case Generation for Python Native Libraries Through Constraints on Input Data Structures.

Xin Zhang, Xutong Ma, Jiwen Yan, Baoquan Cui, Jun Yan, Jian Zhang

CoRR, 2022

ExcePy: A Python Benchmark for Bugs with Python Built-in Types.

Xin Zhang, Rongjie Yan, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the IEEE International Conference on Software Analysis, 2022

String Test Data Generation for Java Programs.

Miaomiao Wang, Baoquan Cui, Jiwei Yan, Jun Yan, Jian Zhang

Proceedings of the IEEE 33rd International Symposium on Software Reliability Engineering, 2022

2021

Are the Scala Checks Effective? Evaluating Checks with Real-world Projects.

Xin Zhang, Jiwei Yan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Dynamic Detection of AsyncTask Related Defects.

Qing Liu, Linjie Pan, Baoquan Cui, Jun Yan, Jian Zhang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2020

Static asynchronous component misuse detection for Android applications.

Linjie Pan, Baoquan Cui, Hao Liu, Jiwei Yan, Siqi Wang, Jun Yan, Jian Zhang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2019

Androlic: an extensible flow, context, object, field, and path-sensitive static analysis framework for Android.

Linjie Pan, Baoquan Cui, Jiwei Yan, Xutong Ma, Jun Yan, Jian Zhang

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019