Publications

Conference Publications

  1. Siwei Wei, Yuqi Guo, Yan Cai.
    DIS-Bench: Evaluating LLMs on System Testing via Directed Input Synthesis. NeurIPS’26.
  2. Siwei Wei, Shihao Zhu, Ruijie Meng, Yan Cai.
    Hybrid Fuzzing in Input Generation Logic. ASE’26, ACM Distinguished Paper Award.
  3. Yuqi Guo, Siwei Wei, Yan Cai.
    DRPBench: Evaluating LLMs in Concurrent Code Comprehension via Fine-grained Data Race Prediction. ICML’26, Spotlight Paper.
  4. Xudong Zhang, Shihao Zhu, Yan Cai.
    Fixed-Point Guided ADS Scenario Generation via Multi-Modal LLM Reasoning and Software Testing. ISSTA’26.
  5. Luxia Lin, Xudong Zhang, Shihao Zhu, Yan Cai.
    Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms. ICSE’26.
  6. Siwei Wei, Yan Cai.
    Generator Solving for Symbolic Execution. ICSE’26.
  7. Zhiyang Zhou, Siwei Wei, Xudong Zhang, Wensheng Dou, Muzi Qu, Yan Cai.
    Training Deep Neural Networks with Virtual Smoothing Classes. AAAI’25.
  8. Shihao Zhu, Yuqi Guo, Yan Cai, Bin Liang, Long Zhang, Rui Chen, and Tingting Yu.
    Reduce Dependence for Sound Concurrency Bug Prediction. ICSE‘25.
  9. Dingcheng Li, Shihao Zhu, Yan Cai, Long Zhang.
    Seed-Adapted Cross-State Protocol Fuzzing. APSEC’25. Distinguished Paper Awards.
  10. Siyuan Ma, Shihao Zhu, Yan Cai, Long Zhang.
    A Packing-Insensitive Detection Method for Android Malware Based on Image Representation. APSEC’25. Distinguished Paper Awards.
  11. Siwei Wei, Xudong Zhang, Zhiyang Zhou, Yan Cai.
    Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems. ICML’24. Spotlight Paper, OpenReview.
  12. Kelin Wang, Mengda Chen, Liang He, Purui Su, Yan Cai, Jiongyi Chen, Bin Zhang, Chao Feng.
    Chaojing Tang. OSmart: Whitebox Program Option Fuzzing. CCS’24.
  13. Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, and Jian Zhang.
    Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE’24.
  14. Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, and Yan Cai.
    Discovering Parallelisms in Python Programs. ESEC/FSE’23.
  15. Liang He, Purui Su, Chao Zhang, Yan Cai, and Jinxin Ma.
    One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels. SOSP’23.
  16. Xudong Zhang and Yan Cai.
    Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. ISSTA’23.
  17. Shihao Zhu, Yuqi Guo, Long Zhang, and Yan Cai.
    Tolerate Control-Flow Changes for Sound Data Race Prediction.
    ICSE’23.
  18. Liang He, Hong Hu, Purui Su, Yan Cai, and Zhenkai Liang.
    FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries. USENIX Security’22.
  19. Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, and Jens Palsberg.
    Sound and Efficient Concurrency Bug Prediction. ESEC/FSE’21.
  20. Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, and Zijiang Yang.
    Detecting Concurrency Vulnerabilities Based on Partial Orders of Memory and Thread Events. ESEC/FSE’21.
  21. Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, and Bodong Zhao.
    RAProducer: Efficiently Diagnose and Reproduce Data Race Bugs for Binaries via Trace Analysis. ISSTA’21.
  22. Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, and Yan Cai.
    Empirical Evaluation of Smart Contract Testing: What Is the Best Choice? ISSTA’21.
  23. Yang Liu, Ming Fan, Ting Liu, Yu Hao, Zisen Xu, Kai Chen, Hao Chen, and Yan Cai.
    ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs. QRS’21.Best Paper Award.
  24. Yan Cai, Ruijie Meng, and Jens Palsberg.
    Low-Overhead Deadlock Prediction. ICSE’20.
  25. Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, and Purui Su,
    Resource Race Attacks on Android, SANER’20.
  26. Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, and Zijiang Yang.
    ConVul: An Effective Tool for Detecting Concurrency Vulnerabilities. ASE’19 (Tool Demo).
  27. Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, and Bin Liang.
    Detecting Concurrency Memory Corruption Vulnerabilities. ESEC/FSE’19.
  28. Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai and Zijiang Yang.
    sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM’19.
  29. Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, and Yan Cai.
    NAR-Miner: Discovering Negative Association Rules from Code for Bug Detection. ESEC/FSE’18.
  30. Jing Zhao, G.R Ning, H.L Lu, Y.B Wang, Yan Cai, and Jian Zhang.
    A Weight-based Approach to Combinatorial Test Generation. ICSE’18, poster.
  31. Yan Cai, Lingwei Cao, and Jing Zhao.
    Adaptively Generating High Quality Fixes for Atomicity Violations. ESEC/FSE’17.
  32. Yu Guo, Yan Cai, and Zijiang Yang.
    AtexRace: Across Thread and Execution Sampling for In-house Race Detection. ESEC/FSE’17.
  33. Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, and Tongping Liu.
    UnDead: Detecting and Tolerating Deadlocks in Production Software. ASE’17.
  34. Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, and Dengguo Feng.
    Automatically Assessing Crashes from Heap Overflows. ASE’17, short paper.
  35. Yan Cai, Jian Zhang, Lingwei Cao, and Jian Liu.
    A Deployable Sampling Strategy for Data Race Detection. FSE’16.
  36. Yan Cai and Zijiang Yang.
    Radius Aware Probabilistic Testing of Deadlocks with Guarantees. ASE’16.
  37. Yan Cai and Lingwei Cao.
    Fixing Deadlocks via Lock Pre-Acquisitions. ICSE’16.
  38. Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, and Yan Cai.
    AntMiner: Mining More Bugs by Reducing Noise Interference. ICSE’16.
  39. Yan Cai and Lingwei Cao.
    Effective and Precise Dynamic Detection of Hidden Races for Java Programs. ESEC/FSE’15.
  40. Yan Cai, Shangru Wu, and W.K. Chan.
    ConLock: A Constraint-based Approach to Dynamic Checking on Deadlocks in Multithreaded Programs. ICSE’14.
  41. Yan Cai, W.K. Chan, and Y.T. Yu.
    Taming Deadlocks in Multithreaded Programs. The Symposium on Engineering Test Harness 2013 (TSETH’13). QSIC’13.
  42. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, and W.K. Chan.
    Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS’13.
  43. Yan Cai, Zhai Ke, Shangru Wu, and W.K. Chan.
    TeamWork: Synchronizing Threads Globally to Detect Real Deadlocks for Multithreaded Programs. PPoPP’13, Poster.
  44. Yan Cai and W.K. Chan.
    MagicFuzzer: Scalable Deadlock Detection for Large-Scale Applications. ICSE’12.
  45. Yan Cai and W.K. Chan.
    LOFT: Redundant Synchronization Event Removal for Data Race Detection. ISSRE’11.

Journal Publications

  1. Shihao Zhu, Yuqi Guo, Jinqiu Wang, Yan Cai, Jian Zhang, Shuyang Liu, Jens Palsberg.
    On Models for Sound Dynamic Data Race Detection: A Survey and An Outlook. ACM Computing Surveys (CSUR), 2026, accepted.
  2. Chang-ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Chen, Peng Wu, Yan Cai, Jinqiu Wang.
    An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs. ACM TOSEM, 2023.
  3. Yutian Tang, Hao Zhou, Xiapu Luo, Ting Chen, Haoyu Wang, Zhou Xu, and Yan Cai.
    XDebloat: Towards Automated Feature-Oriented App Debloating. IEEE TSE, 2022.
  4. 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 TRel, 2022.
  5. Bian Pan, Liang Bin, Zhang Yan, Yang Chaoqun, Shi Wenchang, and Yan Cai.
    Detecting Bugs by Discovering Expectations and Their Violations. IEEE TSE, 2019.
  6. Yan Cai and Qiong Lu.
    Dynamic Testing for Deadlocks via Constraints. IEEE TSE, 2016.
  7. Changjiang Jia, Yan Cai, Y.T. Yu, and T.H. Tse.
    5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing. JSS, 2016.
  8. Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, and W.K. Chan.
    ASN: A Dynamic Barrier-based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs. IEEE TPDS, 2015.
  9. Yan Cai and W.K. Chan.
    Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs. IEEE TSE, 2014.
  10. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W.K. Chan, Zhenyu Zhang, and T.H. Tse.
    A Subsumption Hierarchy of Test Case Prioritization for Composite Services. IEEE TSC, 2015.
  11. Yan Cai and W.K. Chan.
    Lock Trace Reduction for Multithreaded Programs. IEEE TPDS, 2013.
  12. Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, and W.K. Chan.
    Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs. IJWSR, 2013.
  13. W.K. Chan and Yan Cai.
    In Quest of the Science in Statistical Fault Localization. SPE, 2013.

Papers in Chinese

  1. 张健, 张超,玄跻峰, 熊英飞, 王千祥, 梁彬, 李炼, 窦文生, 陈振邦, 陈立前, 蔡彦.
    Recent Progress in Program Analysis (程序分析研究进展). JOS, 2019.