Yan Cai

58 papers A* 17A 6B 2C 3Journal 16Unranked 13
YearRankTypeTitle / Venue / Authors
2026 J jnl
OSmartPro: a large language model-assisted option fuzzing approach.
Cybersecur.
Kelin Wang, Mengda Chen, Liang He, Yanhao Wang, Purui Su, Jiongyi Chen, Yan Cai, Bin Zhang, Chao Feng, Chaojing Tang, Guojun Peng
2025 C conf
A Packing-Insensitive Detection Method for Android Malware Based on Image Representation.
APSEC
Siyuan Ma, Shihao Zhu, Long Zhang, Yan Cai
2025 A* conf
Reduce Dependence for Sound Concurrency Bug Prediction.
ICSE
Shihao Zhu, Yuqi Guo, Yan Cai, Bin Liang, Long Zhang, Rui Chen, Tingting Yu
2025 C conf
Seed-Adapted Cross-State Protocol Fuzzing.
APSEC
Dingcheng Li, Shihao Zhu, Yan Cai, Long Zhang
2025 A* conf
Training Deep Neural Networks with Virtual Smoothing Classes.
AAAI
Zhiyang Zhou, Siwei Wei, Xudong Zhang, Wensheng Dou, Muzi Qu, Yan Cai
2024 J jnl
An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.
ACM Trans. Softw. Eng. Methodol.
Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang
2024 A* conf
Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems.
ICML
Siwei Wei, Xudong Zhang, Zhiyang Zhou, Yan Cai
2024 A* conf
OSmart: Whitebox Program Option Fuzzing.
CCS
Kelin Wang, Mengda Chen, Liang He, Purui Su, Yan Cai, Jiongyi Chen, Bin Zhang, Chao Feng, Chaojing Tang
2024 A* conf
Reorder Pointer Flow in Sound Concurrency Bug Prediction.
ICSE
Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang
2023 A conf
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents.
ISSTA
Xudong Zhang, Yan Cai
2023 — conf
DPOSE: Online Keypoint-CAM Guided Inference for Driver Pose Estimation with GMM-based Balanced Sampling.
CVPR Workshops
Yuyu Guo, Yancheng Bai, Daiqi Shi, Yan Cai, Wei Bian
2023 — conf
Discovering Parallelisms in Python Programs.
ESEC/SIGSOFT FSE
Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai
2023 A* conf
One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels.
SOSP
Liang He, Purui Su, Chao Zhang, Yan Cai, Jinxin Ma
2023 B conf
Sound Predictive Fuzzing for Multi-threaded Programs.
COMPSAC
Yuqi Guo, Zheheng Liang, Shihao Zhu, Jinqiu Wang, Zijiang Yang, Wuqiang Shen, Jinbo Zhang, Yan Cai
2023 A* conf
Tolerate Control-Flow Changes for Sound Data Race Prediction.
ICSE
Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai
2022 J jnl
ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.
IEEE Trans. Reliab.
Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu
2022 A* conf
FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries.
USENIX Security Symposium
Liang He, Hong Hu, Purui Su, Yan Cai, Zhenkai Liang
2022 J jnl
XDebloat: Towards Automated Feature-Oriented App Debloating.
IEEE Trans. Software Eng.
Yutian Tang, Hao Zhou, Xiapu Luo, Ting Chen, Haoyu Wang, Zhou Xu, Yan Cai
2021 — conf
Detecting concurrency vulnerabilities based on partial orders of memory and thread events.
ESEC/SIGSOFT FSE
Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang
2021 A conf
Empirical evaluation of smart contract testing: what is the best choice?
ISSTA
Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai
2021 A conf
RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.
ISSTA
Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao
2021 — conf
Sound and efficient concurrency bug prediction.
ESEC/SIGSOFT FSE
Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg
2020 — conf
A Study on Testing Autonomous Driving Systems.
QRS Companion
Xudong Zhang, Yan Cai, Zijiang Yang
2020 J jnl
Corrections to "Detecting Bugs by Discovering Expectations and Their Violations".
IEEE Trans. Software Eng.
Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai
2020 J jnl
Feature Location Benchmark for Decomposing and Reusing Android Apps.
CoRR
Yutian Tang, Hao Zhou, Zhou Xu, Xiapu Luo, Yan Cai, Tao Zhang
2020 A* conf
Low-overhead deadlock prediction.
ICSE
Yan Cai, Ruijie Meng, Jens Palsberg
2020 A conf
Resource Race Attacks on Android.
SANER
Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, Purui Su
2020 J jnl
Special section on testing and repair for software engineering technologies and applications.
Softw. Qual. J.
Ian Bayley, Yan Cai, Patrícia D. L. Machado
2020 — ed.
TAV-CPS/IoT@ISSTA 2020: Proceedings of the 4th ACM SIGSOFT International Workshop on Testing, Analysis, and Verification of Cyber-Physical Systems and Internet of Things, Virtual Event, USA, July 19, 2020
TAV-CPS/IoT@ISSTA
Yan Cai, Tingting Yu
2019 A* conf
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.
ASE
Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang
2019 J jnl
Detecting Bugs by Discovering Expectations and Their Violations.
IEEE Trans. Software Eng.
Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai
2019 — conf
Detecting concurrency memory corruption vulnerabilities.
ESEC/SIGSOFT FSE
Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang
2019 C conf
sCompile: Critical Path Identification and Analysis for Smart Contracts.
ICFEM
Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang
2018 — conf
A weight-based approach to combinatorial test generation.
ICSE (Companion Volume)
Jing Zhao, Gao-Rong Ning, Hualin Lu, Yanbin Wang, Yan Cai, Jian Zhang
2018 — conf
NAR-miner: discovering negative association rules from code for bug detection.
ESEC/SIGSOFT FSE
Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, Yan Cai
2017 — conf
Adaptively generating high quality fixes for atomicity violations.
ESEC/SIGSOFT FSE
Yan Cai, Lingwei Cao, Jing Zhao
2017 — conf
AtexRace: across thread and execution sampling for in-house race detection.
ESEC/SIGSOFT FSE
Yu Guo, Yan Cai, Zijiang Yang
2017 A* conf
Automatically assessing crashes from heap overflows.
ASE
Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng
2017 A* conf
UNDEAD: detecting and preventing deadlocks in production software.
ASE
Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu
2016 J jnl
5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing.
J. Syst. Softw.
Changjiang Jia, Yan Cai, Yuen-Tak Yu, T. H. Tse
2016 — conf
A deployable sampling strategy for data race detection.
SIGSOFT FSE
Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu
2016 A* conf
AntMiner: mining more bugs by reducing noise interference.
ICSE
Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai
2016 J jnl
Dynamic Testing for Deadlocks via Constraints.
IEEE Trans. Software Eng.
Yan Cai, Qiong Lu
2016 A* conf
Fixing deadlocks via lock pre-acquisitions.
ICSE
Yan Cai, Lingwei Cao
2016 A* conf
Radius aware probabilistic testing of deadlocks with guarantees.
ASE
Yan Cai, Zijiang Yang
2015 J jnl
A Subsumption Hierarchy of Test Case Prioritization for Composite Services.
IEEE Trans. Serv. Comput.
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse
2015 J jnl
ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.
IEEE Trans. Parallel Distributed Syst.
Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, Wing Kwong Chan
2015 — conf
Effective and precise dynamic detection of hidden races for Java programs.
ESEC/SIGSOFT FSE
Yan Cai, Lingwei Cao
2014 A* conf
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.
ICSE
Yan Cai, Shangru Wu, W. K. Chan
2014 J jnl
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.
IEEE Trans. Software Eng.
Yan Cai, W. K. Chan
2013 J jnl
In quest of the science in statistical fault localization.
Softw. Pract. Exp.
W. K. Chan, Yan Cai
2013 J jnl
Lock Trace Reduction for Multithreaded Programs.
IEEE Trans. Parallel Distributed Syst.
Yan Cai, W. K. Chan
2013 A conf
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions.
ICWS
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
2013 — conf
Taming Deadlocks in Multithreaded Programs.
QSIC
Yan Cai, W. K. Chan, Yuen-Tak Yu
2013 B conf
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs.
PPoPP
Yan Cai, Ke Zhai, Shangru Wu, Wing Kwong Chan
2013 J jnl
Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.
Int. J. Web Serv. Res.
Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan
2012 A* conf
MagicFuzzer: Scalable deadlock detection for large-scale applications.
ICSE
Yan Cai, W. K. Chan
2011 A conf
LOFT: Redundant Synchronization Event Removal for Data Race Detection.
ISSRE
Yan Cai, W. K. Chan