LOFT: Redundant Synchronization Event Removal for Data Race Detection. - Yan Cai 001; W. K. Chan 001 (ISSRE, 2011)

MagicFuzzer: Scalable deadlock detection for large-scale applications. - Yan Cai 001; W. K. Chan 001 (ICSE, 2012)

Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (ICWS, 2013)

TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. - Yan Cai 001; Ke Zhai 002; Shangru Wu; Wing Kwong Chan (PPoPP, 2013)

Taming Deadlocks in Multithreaded Programs. - Yan Cai 001; W. K. Chan 001; Yuen-Tak Yu (QSIC, 2013)

Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; W. K. Chan 001 (Int. J. Web Serv. Res., 2013)

In quest of the science in statistical fault localization. - W. K. Chan 001; Yan Cai 001 (Softw. Pract. Exp., 2013)

Lock Trace Reduction for Multithreaded Programs. - Yan Cai 001; W. K. Chan 001 (IEEE Trans. Parallel Distributed Syst., 2013)

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. - Yan Cai 001; Shangru Wu; W. K. Chan 001 (ICSE, 2014)

Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. - Yan Cai 001; W. K. Chan 001 (IEEE Trans. Software Eng., 2014)

Effective and precise dynamic detection of hidden races for Java programs. - Yan Cai 001; Lingwei Cao (ESEC/SIGSOFT FSE, 2015)

ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. - Yan Cai 001; Changjiang Jia; Shangru Wu; Ke Zhai 002; Wing Kwong Chan (IEEE Trans. Parallel Distributed Syst., 2015)

A Subsumption Hierarchy of Test Case Prioritization for Composite Services. - Lijun Mei; Yan Cai 001; Changjiang Jia; Bo Jiang 001; Wing Kwong Chan; Zhenyu Zhang 004; T. H. Tse (IEEE Trans. Serv. Comput., 2015)

Fixing deadlocks via lock pre-acquisitions. - Yan Cai 001; Lingwei Cao (ICSE, 2016)

AntMiner: mining more bugs by reducing noise interference. - Bin Liang 002; Pan Bian; Yan Zhang; Wenchang Shi; Wei You 001; Yan Cai 001 (ICSE, 2016)

Radius aware probabilistic testing of deadlocks with guarantees. - Yan Cai 001; Zijiang Yang 006 (ASE, 2016)

A deployable sampling strategy for data race detection. - Yan Cai 001; Jian Zhang 016; Lingwei Cao; Jian Liu 008 (SIGSOFT FSE, 2016)

5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. - Changjiang Jia; Yan Cai 001; Yuen-Tak Yu; T. H. Tse (J. Syst. Softw., 2016)

Dynamic Testing for Deadlocks via Constraints. - Yan Cai 001; Qiong Lu (IEEE Trans. Software Eng., 2016)

Automatically assessing crashes from heap overflows. - Liang He 011; Yan Cai 001; Hong Hu 004; Purui Su; Zhenkai Liang; Yi Yang 040; Huafeng Huang; Jia Yan; Xiangkun Jia; Dengguo Feng (ASE, 2017)

UNDEAD: detecting and preventing deadlocks in production software. - Jinpeng Zhou; Sam Silvestro; Hongyu Liu 005; Yan Cai 001; Tongping Liu (ASE, 2017)

Adaptively generating high quality fixes for atomicity violations. - Yan Cai 001; Lingwei Cao; Jing Zhao 016 (ESEC/SIGSOFT FSE, 2017)

AtexRace: across thread and execution sampling for in-house race detection. - Yu Guo; Yan Cai 001; Zijiang Yang 006 (ESEC/SIGSOFT FSE, 2017)

A weight-based approach to combinatorial test generation. - Jing Zhao 016; Gao-Rong Ning; Hualin Lu; Yanbin Wang; Yan Cai 001; Jian Zhang 016 (ICSE (Companion Volume), 2018)

NAR-miner: discovering negative association rules from code for bug detection. - Pan Bian; Bin Liang 002; Wenchang Shi; Jianjun Huang 001; Yan Cai 001 (ESEC/SIGSOFT FSE, 2018)

sCompile: Critical Path Identification and Analysis for Smart Contracts. - Jialiang Chang; Bo Gao; Hao Xiao; Jun Sun 001; Yan Cai 001; Zijiang Yang 006 (ICFEM, 2019)

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. - Ruijie Meng; Biyun Zhu; Hao Yun; Haicheng Li; Yan Cai 001; Zijiang Yang 006 (ASE, 2019)

Detecting concurrency memory corruption vulnerabilities. - Yan Cai 001; Biyun Zhu; Ruijie Meng; Hao Yun; Liang He 011; Purui Su; Bin Liang 002 (ESEC/SIGSOFT FSE, 2019)

Detecting Bugs by Discovering Expectations and Their Violations. - Pan Bian; Bin Liang 002; Yan Zhang; Chaoqun Yang; Wenchang Shi; Yan Cai 001 (IEEE Trans. Software Eng., 2019)

Low-overhead deadlock prediction. - Yan Cai 001; Ruijie Meng; Jens Palsberg (ICSE, 2020)

A Study on Testing Autonomous Driving Systems. - Xudong Zhang 007; Yan Cai 001; Zijiang Yang 006 (QRS Companion, 2020)

Resource Race Attacks on Android. - Yan Cai 001; Yutian Tang; Haicheng Li; Le Yu 002; Hao Zhou 009; Xiapu Luo; Liang He 011; Purui Su (SANER, 2020)

Feature Location Benchmark for Decomposing and Reusing Android Apps. - Yutian Tang; Hao Zhou 009; Zhou Xu 003; Xiapu Luo; Yan Cai 001; Tao Zhang 001 (CoRR, 2020)

Special section on testing and repair for software engineering technologies and applications. - Ian Bayley; Yan Cai 001; Patrícia D. L. Machado (Softw. Qual. J., 2020)

Corrections to "Detecting Bugs by Discovering Expectations and Their Violations". - Pan Bian; Bin Liang 002; Yan Zhang; Chaoqun Yang; Wenchang Shi; Yan Cai 001 (IEEE Trans. Software Eng., 2020)

Empirical evaluation of smart contract testing: what is the best choice? - Meng Ren; Zijing Yin; Fuchen Ma; Zhenyang Xu; Yu Jiang 001; Chengnian Sun; Huizhong Li; Yan Cai 001 (ISSTA, 2021)

RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. - Ming Yuan 003; Yeseop Lee; Chao Zhang 008; Yun Li 010; Yan Cai 001; Bodong Zhao (ISSTA, 2021)

Sound and efficient concurrency bug prediction. - Yan Cai 001; Hao Yun; Jinqiu Wang; Lei Qiao; Jens Palsberg (ESEC/SIGSOFT FSE, 2021)

Detecting concurrency vulnerabilities based on partial orders of memory and thread events. - Kunpeng Yu; Chenxu Wang 001; Yan Cai 001; Xiapu Luo; Zijiang Yang 006 (ESEC/SIGSOFT FSE, 2021)

FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. - Liang He 011; Hong Hu 004; Purui Su; Yan Cai 001; Zhenkai Liang (USENIX Security Symposium, 2022)

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. - Yang Liu 090; Zisen Xu; Ming Fan 002; Yu Hao 006; Kai Chen 012; Hao Chen 003; Yan Cai 001; Zijiang Yang 006; Ting Liu 002 (IEEE Trans. Reliab., 2022)

XDebloat: Towards Automated Feature-Oriented App Debloating. - Yutian Tang; Hao Zhou 009; Xiapu Luo; Ting Chen 002; Haoyu Wang 001; Zhou Xu 003; Yan Cai 001 (IEEE Trans. Software Eng., 2022)

Sound Predictive Fuzzing for Multi-threaded Programs. - Yuqi Guo 002; Zheheng Liang; Shihao Zhu; Jinqiu Wang; Zijiang Yang 006; Wuqiang Shen; Jinbo Zhang; Yan Cai 001 (COMPSAC, 2023)

DPOSE: Online Keypoint-CAM Guided Inference for Driver Pose Estimation with GMM-based Balanced Sampling. - Yuyu Guo 003; Yancheng Bai; Daiqi Shi; Yan Cai 001; Wei Bian (CVPR Workshops, 2023)

Tolerate Control-Flow Changes for Sound Data Race Prediction. - Shihao Zhu; Yuqi Guo 002; Long Zhang; Yan Cai 001 (ICSE, 2023)

Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. - Xudong Zhang 007; Yan Cai 001 (ISSTA, 2023)

Discovering Parallelisms in Python Programs. - Siwei Wei; Guyang Song; Senlin Zhu; Ruoyi Ruan; Shihao Zhu; Yan Cai 001 (ESEC/SIGSOFT FSE, 2023)

One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels. - Liang He 011; Purui Su; Chao Zhang 008; Yan Cai 001; Jinxin Ma (SOSP, 2023)

OSmart: Whitebox Program Option Fuzzing. - Kelin Wang; Mengda Chen; Liang He 011; Purui Su; Yan Cai 001; Jiongyi Chen; Bin Zhang; Chao Feng 002; Chaojing Tang (CCS, 2024)

Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems. - Siwei Wei; Xudong Zhang 007; Zhiyang Zhou; Yan Cai 001 (ICML, 2024)

Reorder Pointer Flow in Sound Concurrency Bug Prediction. - Yuqi Guo 002; Shihao Zhu; Yan Cai 001; Liang He 011; Jian Zhang 001 (ICSE, 2024)

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. - Chang-Ai Sun; Hepeng Dai; Ning Geng; Huai Liu; Tsong Yueh Chen; Peng Wu 002; Yan Cai 001; Jinqiu Wang (ACM Trans. Softw. Eng. Methodol., 2024)

Training Deep Neural Networks with Virtual Smoothing Classes. - Zhiyang Zhou; Siwei Wei; Xudong Zhang 007; Wensheng Dou; Muzi Qu; Yan Cai 001 (AAAI, 2025)

Reduce Dependence for Sound Concurrency Bug Prediction. - Shihao Zhu; Yuqi Guo 002; Yan Cai 001; Bin Liang 002; Long Zhang; Rui Chen; Tingting Yu (ICSE, 2025)