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
1022012
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
712019
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
682014
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
612016
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
582016
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
572014
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
442015
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
382018
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
382014
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
372016
Fixing deadlocks via lock pre-acquisitions
Y Cai, L Cao
Proceedings of the 38th international conference on software engineering …, 2016
332016
Lock trace reduction for multithreaded programs
Y Cai, WK Chan
IEEE Transactions on Parallel and Distributed Systems 24 (12), 2407-2417, 2013
282013
Dynamic testing for deadlocks via constraints
Y Cai, Q Lu
IEEE Transactions on Software Engineering 42 (9), 825-842, 2016
262016
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
252017
LOFT: redundant synchronization event removal for data race detection
Y Cai, WK Chan
2011 IEEE 22nd International Symposium on Software Reliability Engineering …, 2011
252011
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
242018
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
222019
ASN: a dynamic barrier-based approach to confirmation of deadlocks from warnings for large-scale multithreaded programs
Y Cai, C Jia, S Wu, K Zhai, WK Chan
IEEE Transactions on Parallel and Distributed Systems 26 (1), 13-23, 2014
222014
TeamWork: synchronizing threads globally to detect real deadlocks for multithreaded programs
Y Cai, K Zhai, S Wu, WK Chan
Proceedings of the 18th ACM SIGPLAN symposium on Principles and practice of …, 2013
182013
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
172021
The system can't perform the operation now. Try again later.
Articles 1–20