Follow
Yan Cai
Yan Cai
State Key Laboratory of Computer Science, ISCAS, China
Verified email at ios.ac.cn - Homepage
Title
Cited by
Cited by
Year
MagicFuzzer: Scalable deadlock detection for large-scale applications
Y Cai, WK Chan
2012 34th International Conference on Software Engineering (ICSE), 606-616, 2012
1182012
sCompile: Critical path identification and analysis for smart contracts
J Chang, B Gao, H Xiao, J Sun, Y Cai, Z Yang
Formal Methods and Software Engineering: 21st International Conference on …, 2019
1122019
Empirical evaluation of smart contract testing: What is the best choice?
M Ren, Z Yin, F Ma, Z Xu, Y Jiang, C Sun, H Li, Y Cai
Proceedings of the 30th ACM SIGSOFT international symposium on software …, 2021
832021
5W+ 1H pattern: A perspective of systematic mapping studies and a case study on cloud software testing
C Jia, Y Cai, YT Yu, TH Tse
Journal of Systems and Software 116, 206-219, 2016
782016
ConLock: A constraint-based approach to dynamic checking on deadlocks in multithreaded programs
Y Cai, S Wu, WK Chan
Proceedings of the 36th international conference on software engineering …, 2014
732014
AntMiner: mining more bugs by reducing noise interference
B Liang, P Bian, Y Zhang, W Shi, W You, Y Cai
Proceedings of the 38th International Conference on Software Engineering …, 2016
692016
Magiclock: Scalable detection of potential deadlocks in large-scale multithreaded programs
Y Cai, WK Chan
IEEE Transactions on Software Engineering 40 (3), 266-281, 2014
622014
Nar-miner: discovering negative association rules from code for bug detection
P Bian, B Liang, W Shi, J Huang, Y Cai
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
522018
Effective and precise dynamic detection of hidden races for java programs
Y Cai, L Cao
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
462015
A deployable sampling strategy for data race detection
Y Cai, J Zhang, L Cao, J Liu
Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016
412016
A subsumption hierarchy of test case prioritization for composite services
L Mei, Y Cai, C Jia, B Jiang, WK Chan, Z Zhang, TH Tse
IEEE Transactions on Services Computing 8 (5), 658-673, 2014
412014
Detecting concurrency memory corruption vulnerabilities
Y Cai, B Zhu, R Meng, H Yun, L He, P Su, B Liang
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
392019
Recent progress in program analysis
J Zhang, C Zhang, JF Xuan, YF Xiong, QX Wang, B Liang, L Li, WS Dou, ...
392019
Fixing deadlocks via lock pre-acquisitions
Y Cai, L Cao
Proceedings of the 38th international conference on software engineering …, 2016
392016
Sound and efficient concurrency bug prediction
Y Cai, H Yun, J Wang, L Qiao, J Palsberg
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
342021
Detecting bugs by discovering expectations and their violations
P Bian, B Liang, Y Zhang, C Yang, W Shi, Y Cai
IEEE Transactions on Software Engineering 45 (10), 984-1001, 2018
342018
Undead: Detecting and preventing deadlocks in production software
J Zhou, S Silvestro, H Liu, Y Cai, T Liu
2017 32nd IEEE/ACM International Conference on Automated Software …, 2017
342017
Dynamic testing for deadlocks via constraints
Y Cai, Q Lu
IEEE Transactions on Software Engineering 42 (9), 825-842, 2016
322016
Lock trace reduction for multithreaded programs
Y Cai, WK Chan
IEEE Transactions on Parallel and Distributed Systems 24 (12), 2407-2417, 2013
292013
LOFT: redundant synchronization event removal for data race detection
Y Cai, WK Chan
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
272011
The system can't perform the operation now. Try again later.
Articles 1–20