Yan Cai

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 37

Top Topics

Concurrent Programs

Probabilistic Relational

Generating High Quality

Top Venues

ESEC/SIGSOFT FSE

IEEE Trans. Software Eng.

Publications

Yan Cai, Linlin Wang, Ye Wang, Gerard de Melo, Ya Zhang, Yanfeng Wang, Liang He
MedBench: A Large-Scale Chinese Benchmark for Evaluating Medical Large Language Models. AAAI (2024)
Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang
Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE (2024)
Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM Trans. Softw. Eng. Methodol. 33 (1) (2024)
Yuqi Guo, Zheheng Liang, Shihao Zhu, Jinqiu Wang, Zijiang Yang, Wuqiang Shen, Jinbo Zhang, Yan Cai
Sound Predictive Fuzzing for Multi-threaded Programs. COMPSAC (2023)
Yuyu Guo, Yancheng Bai, Daiqi Shi, Yan Cai, Wei Bian
DPOSE: Online Keypoint-CAM Guided Inference for Driver Pose Estimation with GMM-based Balanced Sampling. CVPR Workshops (2023)
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai
Discovering Parallelisms in Python Programs. ESEC/SIGSOFT FSE (2023)
Liang He, Purui Su, Chao Zhang, Yan Cai, Jinxin Ma
One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels. SOSP (2023)
Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai
Tolerate Control-Flow Changes for Sound Data Race Prediction. ICSE (2023)
Yan Cai, Linlin Wang, Ye Wang, Gerard de Melo, Ya Zhang, Yanfeng Wang, Liang He
MedBench: A Large-Scale Chinese Benchmark for Evaluating Medical Large Language Models. CoRR (2023)
Xudong Zhang, Yan Cai
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. ISSTA (2023)
Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. IEEE Trans. Reliab. 71 (2) (2022)
Yutian Tang, Hao Zhou, Xiapu Luo, Ting Chen, Haoyu Wang, Zhou Xu, Yan Cai
XDebloat: Towards Automated Feature-Oriented App Debloating. IEEE Trans. Software Eng. 48 (11) (2022)
Liang He, Hong Hu, Purui Su, Yan Cai, Zhenkai Liang
FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. USENIX Security Symposium (2022)
Ying Yang, Huijing Wu, Yan Cai
Medical consumable usage control based on Canopy_K-means clustering and WARM. J. Comb. Optim. 42 (4) (2021)
Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang
Detecting concurrency vulnerabilities based on partial orders of memory and thread events. ESEC/SIGSOFT FSE (2021)
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
Sound and efficient concurrency bug prediction. ESEC/SIGSOFT FSE (2021)
Xudong Zhang, Yan Cai, Zijiang Yang
A Study on Testing Autonomous Driving Systems. QRS Companion (2020)
Yan Cai, Ruijie Meng, Jens Palsberg
Low-overhead deadlock prediction. ICSE (2020)
Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, Purui Su
Resource Race Attacks on Android. SANER (2020)
Yutian Tang, Hao Zhou, Zhou Xu, Xiapu Luo, Yan Cai, Tao Zhang
Feature Location Benchmark for Decomposing and Reusing Android Apps. CoRR (2020)
Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai
Corrections to "Detecting Bugs by Discovering Expectations and Their Violations". IEEE Trans. Software Eng. 46 (1) (2020)
Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. ASE (2019)
Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM (2019)
Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai
Detecting Bugs by Discovering Expectations and Their Violations. IEEE Trans. Software Eng. 45 (10) (2019)
Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang
Detecting concurrency memory corruption vulnerabilities. ESEC/SIGSOFT FSE (2019)
Jing Zhao, Gao-Rong Ning, H. L. Lu, Yanbin Wang, Yan Cai, Jian Zhang
A weight-based approach to combinatorial test generation. ICSE (Companion Volume) (2018)
Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, Yan Cai
NAR-miner: discovering negative association rules from code for bug detection. ESEC/SIGSOFT FSE (2018)
Yan Cai, Lingwei Cao, Jing Zhao
Adaptively generating high quality fixes for atomicity violations. ESEC/SIGSOFT FSE (2017)
Yu Guo, Yan Cai, Zijiang Yang
AtexRace: across thread and execution sampling for in-house race detection. ESEC/SIGSOFT FSE (2017)
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng
Automatically assessing crashes from heap overflows. ASE (2017)
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu
UNDEAD: detecting and preventing deadlocks in production software. ASE (2017)
Yan Cai, Qiong Lu
Dynamic Testing for Deadlocks via Constraints. IEEE Trans. Software Eng. 42 (9) (2016)
Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu
A deployable sampling strategy for data race detection. SIGSOFT FSE (2016)
Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai
AntMiner: mining more bugs by reducing noise interference. ICSE (2016)
Changjiang Jia, Yan Cai, Yuen-Tak Yu, T. H. Tse
5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. J. Syst. Softw. 116 (2016)
Yan Cai, Lingwei Cao
Fixing deadlocks via lock pre-acquisitions. ICSE (2016)
Yan Cai, Zijiang Yang
Radius aware probabilistic testing of deadlocks with guarantees. ASE (2016)
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse
A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE Trans. Serv. Comput. 8 (5) (2015)
Yan Cai, Lingwei Cao
Effective and precise dynamic detection of hidden races for Java programs. ESEC/SIGSOFT FSE (2015)
Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, Wing Kwong Chan
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. IEEE Trans. Parallel Distributed Syst. 26 (1) (2015)
Yan Cai, W. K. Chan
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. IEEE Trans. Software Eng. 40 (3) (2014)
Yan Cai, Shangru Wu, W. K. Chan
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. ICSE (2014)
Yan Cai, W. K. Chan
Lock Trace Reduction for Multithreaded Programs. IEEE Trans. Parallel Distributed Syst. 24 (12) (2013)
W. K. Chan, Yan Cai
In quest of the science in statistical fault localization. Softw. Pract. Exp. 43 (8) (2013)
Yan Cai, W. K. Chan, Yuen-Tak Yu
Taming Deadlocks in Multithreaded Programs. QSIC (2013)
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS (2013)
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. Int. J. Web Serv. Res. 10 (1) (2013)
Yan Cai, Ke Zhai, Shangru Wu, Wing Kwong Chan
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. PPOPP (2013)
Yan Cai, W. K. Chan
MagicFuzzer: Scalable deadlock detection for large-scale applications. ICSE (2012)
Yan Cai, W. K. Chan
LOFT: Redundant Synchronization Event Removal for Data Race Detection. ISSRE (2011)