Yan Cai

Yan Cai

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4600959
-
person_outline Yan Cai's MOST POPULAR ARTICLES
1-) MagicFuzzer: Scalable deadlock detection for large-scale applicationsY Cai, WK Chan2012 34th International Conference on Software Engineering (ICSE), 606-616, 2012962012
2-) sCompile: Critical path identification and analysis for smart contractsJ Chang, B Gao, H Xiao, J Sun, Y Cai, Z YangInternational Conference on Formal Engineering Methods, 286-304, 2019682019
3-) 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 CaiProceedings of the 30th ACM SIGSOFT international symposium on software …, 2021802021
4-) 5W+ 1H pattern: A perspective of systematic mapping studies and a case study on cloud software testingC Jia, Y Cai, YT Yu, TH TseJournal of Systems and Software 116, 206-219, 2016822016
5-) ConLock: A constraint-based approach to dynamic checking on deadlocks in multithreaded programsY Cai, S Wu, WK ChanProceedings of the 36th international conference on software engineering …, 2014752014