default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYan Cai 0001
Person information
- unicode name: 蔡彦
- affiliation: Chinese Academy of Sciences, Institute of Software, State Key Laboratory of Computer Science, Beijing, China
- affiliation (PhD 2014): City University of Hong Kong, Department of Computer Science, Hong Kong
Other persons with the same name
- Yan Cai 0002 — University of Massachusetts, Department of Electrical and Computer Engineering, Amherst, MA, USA
- Yan Cai 0003 — University of California Los Angeles, School of Medicine, CA, USA
- Yan Cai 0004
![[0000-0002-7823-1410]](https://dblp.org/img/orcid-mark.12x12.png "0000-0002-7823-1410")
— Nanjing University of Posts and Telecommunications, Jiangsu Key Laboratory of Wireless Communications, China - Yan Cai 0005 — Tiangong University, Key Laboratory of Advanced Technology of Electrical Engineering and Energy, Tianjin, China (and 1 more)
- Yan Cai 0006 — China University of Mining and Technology, Xuzhou, China
- Yan Cai 0007 — Southeast University, School of Biological Science and Medical Engineering, Nanjing, China (and 1 more)
- Yan Cai 0008 — Central South University, School of Information Science and Engineering, Changsha, China
- Yan Cai 0009 — Harbin Medical University, Fourth Affiliated Hospital, China (and 1 more)
- Yan Cai 0010 — University of Electronic Science and Technology of China, Institute of Integrated Circuits and Systems, Chengdu, China
- Yan Cai 0011 — Jiangxi Normal University, School of Psychology, Nanchang, China
- Yan Cai 0013 — Chinese Academy of Sciences, Shanghai Institute of Microsystem and Information Technology, China
- Yan Cai 0014 — SAIC-GM-Wuling Automobile Co., Ltd., Liuzhou, China
- Yan Cai 0015 — Wuhan University, School of Cyber Science and Engineering, China
- Yan Cai 0016 — Nari Information and Communication Technology Co., Ltd., Nanjing, China
- Yan Cai 0017 — Chinese Academy of Sciences, Shenyang Institute of Automation, China
- Yan Cai 0018 — Meta, Menlo Park, CA, USA
- Yan Cai 0019 — Henan Finance University, College of Computer and Artificial Intelligence, Zhengzhou, China
- Yan Cai 0020 — East China Normal University, Shanghai, China
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
[j14]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): 8:1-8:21 (2024)- 2022
- [j13]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): 1174-1188 (2022) - [j12]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): 4501-4520 (2022) - 2020
- [j11]Ian Bayley, Yan Cai, Patrícia D. L. Machado:
Special section on testing and repair for software engineering technologies and applications. Softw. Qual. J. 28(2): 821-822 (2020) - [j10]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): 113 (2020) - 2019
- [j9]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): 984-1001 (2019) - 2016
- [j8]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: 206-219 (2016) - [j7]Yan Cai, Qiong Lu:
Dynamic Testing for Deadlocks via Constraints. IEEE Trans. Software Eng. 42(9): 825-842 (2016) - 2015
- [j6]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): 13-23 (2015) - [j5]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): 658-673 (2015) - 2014
- [j4]Yan Cai, W. K. Chan:
Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs. IEEE Trans. Software Eng. 40(3): 266-281 (2014) - 2013
- [j3]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): 73-102 (2013) - [j2]W. K. Chan, Yan Cai:
In quest of the science in statistical fault localization. Softw. Pract. Exp. 43(8): 971-987 (2013) - [j1]Yan Cai, W. K. Chan:
Lock Trace Reduction for Multithreaded Programs. IEEE Trans. Parallel Distributed Syst. 24(12): 2407-2417 (2013)
Conference and Workshop Papers
- 2024
- [c36]Siwei Wei, Xudong Zhang, Zhiyang Zhou, Yan Cai:
Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems. ICML 2024 - [c35]Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang:
Reorder Pointer Flow in Sound Concurrency Bug Prediction. ICSE 2024: 19:1-19:13 - 2023
- [c34]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: 810-819 - [c33]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: 3656-3665 - [c32]Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai:
Tolerate Control-Flow Changes for Sound Data Race Prediction. ICSE 2023: 1342-1354 - [c31]Xudong Zhang, Yan Cai:
Building Critical Testing Scenarios for Autonomous Driving from Real Accidents. ISSTA 2023: 462-474 - [c30]Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai:
Discovering Parallelisms in Python Programs. ESEC/SIGSOFT FSE 2023: 832-844 - [c29]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: 52-65 - 2022
- [c28]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: 2497-2512 - 2021
- [c27]Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai:
Empirical evaluation of smart contract testing: what is the best choice? ISSTA 2021: 566-579 - [c26]Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao:
RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis. ISSTA 2021: 593-606 - [c25]Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg:
Sound and efficient concurrency bug prediction. ESEC/SIGSOFT FSE 2021: 255-267 - [c24]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: 280-291 - 2020
- [c23]Yan Cai, Ruijie Meng, Jens Palsberg:
Low-overhead deadlock prediction. ICSE 2020: 1298-1309 - [c22]Xudong Zhang, Yan Cai, Zijiang Yang:
A Study on Testing Autonomous Driving Systems. QRS Companion 2020: 241-244 - [c21]Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, Purui Su:
Resource Race Attacks on Android. SANER 2020: 47-58 - 2019
- [c20]Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang:
sCompile: Critical Path Identification and Analysis for Smart Contracts. ICFEM 2019: 286-304 - [c19]Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang:
CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities. ASE 2019: 1154-1157 - [c18]Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang:
Detecting concurrency memory corruption vulnerabilities. ESEC/SIGSOFT FSE 2019: 706-717 - 2018
- [c17]Jing Zhao, Gao-Rong Ning, Hualin Lu, Yanbin Wang, Yan Cai, Jian Zhang:
A weight-based approach to combinatorial test generation. ICSE (Companion Volume) 2018: 378-379 - [c16]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: 411-422 - 2017
- [c15]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: 274-279 - [c14]Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu:
UNDEAD: detecting and preventing deadlocks in production software. ASE 2017: 729-740 - [c13]Yan Cai, Lingwei Cao, Jing Zhao:
Adaptively generating high quality fixes for atomicity violations. ESEC/SIGSOFT FSE 2017: 303-314 - [c12]Yu Guo, Yan Cai, Zijiang Yang:
AtexRace: across thread and execution sampling for in-house race detection. ESEC/SIGSOFT FSE 2017: 315-325 - 2016
- [c11]Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai:
AntMiner: mining more bugs by reducing noise interference. ICSE 2016: 333-344 - [c10]Yan Cai, Lingwei Cao:
Fixing deadlocks via lock pre-acquisitions. ICSE 2016: 1109-1120 - [c9]Yan Cai, Zijiang Yang:
Radius aware probabilistic testing of deadlocks with guarantees. ASE 2016: 356-367 - [c8]Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu:
A deployable sampling strategy for data race detection. SIGSOFT FSE 2016: 810-821 - 2015
- [c7]Yan Cai, Lingwei Cao:
Effective and precise dynamic detection of hidden races for Java programs. ESEC/SIGSOFT FSE 2015: 450-461 - 2014
- [c6]Yan Cai, Shangru Wu, W. K. Chan:
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs. ICSE 2014: 491-502 - 2013
- [c5]Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan:
Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions. ICWS 2013: 147-154 - [c4]Yan Cai, Ke Zhai, Shangru Wu, Wing Kwong Chan:
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs. PPoPP 2013: 311-312 - [c3]Yan Cai, W. K. Chan, Yuen-Tak Yu:
Taming Deadlocks in Multithreaded Programs. QSIC 2013: 276-279 - 2012
- [c2]Yan Cai, W. K. Chan:
MagicFuzzer: Scalable deadlock detection for large-scale applications. ICSE 2012: 606-616 - 2011
- [c1]Yan Cai, W. K. Chan:
LOFT: Redundant Synchronization Event Removal for Data Race Detection. ISSRE 2011: 160-169
Editorship
- 2020
- [e1]Yan Cai, Tingting Yu:
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. ACM 2020, ISBN 978-1-4503-8032-4 [contents]
Informal and Other Publications
- 2020
- [i1]Yutian Tang, Hao Zhou, Zhou Xu, Xiapu Luo, Yan Cai, Tao Zhang:
Feature Location Benchmark for Decomposing and Reusing Android Apps. CoRR abs/2005.04008 (2020)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-04 00:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
