Yan Cai

According to our database, Yan Cai authored at least 51 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs.

Chang-Ai Sun, Hepeng Dai, Ning Geng, Huai Liu, Tsong Yueh Chen, Peng Wu, Yan Cai, Jinqiu Wang

ACM Trans. Softw. Eng. Methodol., January, 2024

Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Yuqi Guo, Shihao Zhu, Yan Cai, Liang He, Jian Zhang

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Extending Test-Time Augmentation with Metamorphic Relations for Combinatorial Problems.

Siwei Wei, Xudong Zhang, Zhiyang Zhou, Yan Cai

Proceedings of the Forty-first International Conference on Machine Learning, 2024

2023

One Simple API Can Cause Hundreds of Bugs An Analysis of Refcounting Bugs in All Modern Linux Kernels.

Liang He, Purui Su, Chao Zhang, Yan Cai, Jinxin Ma

Proceedings of the 29th Symposium on Operating Systems Principles, 2023

Discovering Parallelisms in Python Programs.

Siwei Wei, Guyang Song, Senlin Zhu, Ruoyi Ruan, Shihao Zhu, Yan Cai

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

Building Critical Testing Scenarios for Autonomous Driving from Real Accidents.

Xudong Zhang, Yan Cai

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Tolerate Control-Flow Changes for Sound Data Race Prediction.

Shihao Zhu, Yuqi Guo, Long Zhang, Yan Cai

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

DPOSE: Online Keypoint-CAM Guided Inference for Driver Pose Estimation with GMM-based Balanced Sampling.

Yuyu Guo, Yancheng Bai, Daiqi Shi, Yan Cai, Wei Bian

Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023

Sound Predictive Fuzzing for Multi-threaded Programs.

Yuqi Guo, Zheheng Liang, Shihao Zhu, Jinqiu Wang, Zijiang Yang, Wuqiang Shen, Jinbo Zhang, Yan Cai

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2022

XDebloat: Towards Automated Feature-Oriented App Debloating.

Yutian Tang, Hao Zhou, Xiapu Luo, Ting Chen, Haoyu Wang, Zhou Xu, Yan Cai

IEEE Trans. Software Eng., 2022

ConcSpectre: Be Aware of Forthcoming Malware Hidden in Concurrent Programs.

Yang Liu, Zisen Xu, Ming Fan, Yu Hao, Kai Chen, Hao Chen, Yan Cai, Zijiang Yang, Ting Liu

IEEE Trans. Reliab., 2022

FreeWill: Automatically Diagnosing Use-after-free Bugs via Reference Miscounting Detection on Binaries.

Liang He, Hong Hu, Purui Su, Yan Cai, Zhenkai Liang

Proceedings of the 31st USENIX Security Symposium, 2022

2021

Detecting concurrency vulnerabilities based on partial orders of memory and thread events.

Kunpeng Yu, Chenxu Wang, Yan Cai, Xiapu Luo, Zijiang Yang

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Sound and efficient concurrency bug prediction.

Yan Cai, Hao Yun, Jinqiu Wang, Lei Qiao, Jens Palsberg

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

RAProducer: efficiently diagnose and reproduce data race bugs for binaries via trace analysis.

Ming Yuan, Yeseop Lee, Chao Zhang, Yun Li, Yan Cai, Bodong Zhao

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

Empirical evaluation of smart contract testing: what is the best choice?

Meng Ren, Zijing Yin, Fuchen Ma, Zhenyang Xu, Yu Jiang, Chengnian Sun, Huizhong Li, Yan Cai

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2020

Corrections to "Detecting Bugs by Discovering Expectations and Their Violations".

Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai

IEEE Trans. Software Eng., 2020

Special section on testing and repair for software engineering technologies and applications.

Ian Bayley, Yan Cai, Patrícia D. L. Machado

Softw. Qual. J., 2020

Feature Location Benchmark for Decomposing and Reusing Android Apps.

Yutian Tang, Hao Zhou, Zhou Xu, Xiapu Luo, Yan Cai, Tao Zhang

CoRR, 2020

Resource Race Attacks on Android.

Yan Cai, Yutian Tang, Haicheng Li, Le Yu, Hao Zhou, Xiapu Luo, Liang He, Purui Su

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

A Study on Testing Autonomous Driving Systems.

Xudong Zhang, Yan Cai, Zijiang Yang

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

Low-overhead deadlock prediction.

Yan Cai, Ruijie Meng, Jens Palsberg

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

Detecting Bugs by Discovering Expectations and Their Violations.

Pan Bian, Bin Liang, Yan Zhang, Chaoqun Yang, Wenchang Shi, Yan Cai

IEEE Trans. Software Eng., 2019

Detecting concurrency memory corruption vulnerabilities.

Yan Cai, Biyun Zhu, Ruijie Meng, Hao Yun, Liang He, Purui Su, Bin Liang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

CONVUL: An Effective Tool for Detecting Concurrency Vulnerabilities.

Ruijie Meng, Biyun Zhu, Hao Yun, Haicheng Li, Yan Cai, Zijiang Yang

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

sCompile: Critical Path Identification and Analysis for Smart Contracts.

Jialiang Chang, Bo Gao, Hao Xiao, Jun Sun, Yan Cai, Zijiang Yang

Proceedings of the Formal Methods and Software Engineering, 2019

2018

NAR-miner: discovering negative association rules from code for bug detection.

Pan Bian, Bin Liang, Wenchang Shi, Jianjun Huang, Yan Cai

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018

A weight-based approach to combinatorial test generation.

Jing Zhao, Gao-Rong Ning, Hualin Lu, Yanbin Wang, Yan Cai, Jian Zhang

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

AtexRace: across thread and execution sampling for in-house race detection.

Yu Guo, Yan Cai, Zijiang Yang

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Adaptively generating high quality fixes for atomicity violations.

Yan Cai, Lingwei Cao, Jing Zhao

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

UNDEAD: detecting and preventing deadlocks in production software.

Jinpeng Zhou, Sam Silvestro, Hongyu Liu, Yan Cai, Tongping Liu

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatically assessing crashes from heap overflows.

Liang He, Yan Cai, Hong Hu, Purui Su, Zhenkai Liang, Yi Yang, Huafeng Huang, Jia Yan, Xiangkun Jia, Dengguo Feng

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

2016

Dynamic Testing for Deadlocks via Constraints.

Yan Cai, Qiong Lu

IEEE Trans. Software Eng., 2016

5W+1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing.

Changjiang Jia, Yan Cai, Yuen-Tak Yu, T. H. Tse

J. Syst. Softw., 2016

A deployable sampling strategy for data race detection.

Yan Cai, Jian Zhang, Lingwei Cao, Jian Liu

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Radius aware probabilistic testing of deadlocks with guarantees.

Yan Cai, Zijiang Yang

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

AntMiner: mining more bugs by reducing noise interference.

Bin Liang, Pan Bian, Yan Zhang, Wenchang Shi, Wei You, Yan Cai

Proceedings of the 38th International Conference on Software Engineering, 2016

Fixing deadlocks via lock pre-acquisitions.

Yan Cai, Lingwei Cao

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

A Subsumption Hierarchy of Test Case Prioritization for Composite Services.

Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, Wing Kwong Chan, Zhenyu Zhang, T. H. Tse

IEEE Trans. Serv. Comput., 2015

ASN: A Dynamic Barrier-Based Approach to Confirmation of Deadlocks from Warnings for Large-Scale Multithreaded Programs.

Yan Cai, Changjiang Jia, Shangru Wu, Ke Zhai, Wing Kwong Chan

IEEE Trans. Parallel Distributed Syst., 2015

Effective and precise dynamic detection of hidden races for Java programs.

Yan Cai, Lingwei Cao

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

2014

Magiclock: Scalable Detection ofPotential Deadlocks in Large-ScaleMultithreaded Programs.

Yan Cai, W. K. Chan

IEEE Trans. Software Eng., 2014

ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs.

Yan Cai, Shangru Wu, W. K. Chan

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

Lock Trace Reduction for Multithreaded Programs.

Yan Cai, W. K. Chan

IEEE Trans. Parallel Distributed Syst., 2013

In quest of the science in statistical fault localization.

W. K. Chan, Yan Cai

Softw. Pract. Exp., 2013

Test Pair Selection for Test Case Prioritization in Regression Testing for WS-BPEL Programs.

Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan

Int. J. Web Serv. Res., 2013

Taming Deadlocks in Multithreaded Programs.

Yan Cai, W. K. Chan, Yuen-Tak Yu

Proceedings of the 2013 13th International Conference on Quality Software, 2013

TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs.

Yan Cai, Ke Zhai, Shangru Wu, Wing Kwong Chan

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2013

Prioritizing Structurally Complex Test Pairs for Validating WS-BPEL Evolutions.

Lijun Mei, Yan Cai, Changjiang Jia, Bo Jiang, W. K. Chan

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

2012

MagicFuzzer: Scalable deadlock detection for large-scale applications.

Yan Cai, W. K. Chan

Proceedings of the 34th International Conference on Software Engineering, 2012

2011

LOFT: Redundant Synchronization Event Removal for Data Race Detection.

Yan Cai, W. K. Chan

Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011