sCompile: Critical Path Identification and Analysis for Smart Contracts J Chang, B Gao, H Xiao, J Sun, Y Cai, Z Yang 2019 International Conference on Formal Engineering Methods, 286-304, 2019 | 99 | 2019 |
GUICat: GUI testing as a service L Cheng, J Chang, Z Yang, C Wang Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 23 | 2016 |
Automated testing of definition-use data flow for multithreaded programs X Zhang, Z Yang, Q Zheng, P Liu, J Chang, Y Hao, T Liu 2017 IEEE International Conference on Software Testing, Verification and …, 2017 | 7 | 2017 |
Memory distance measurement for concurrent programs H Li, J Chang, Z Yang, S Carr Languages and Compilers for Parallel Computing: 30th International Workshop …, 2019 | 3 | 2019 |
sverify: Verifying smart contracts through lazy annotation and learning B Gao, L Shi, J Li, J Chang, J Sun, Z Yang Leveraging Applications of Formal Methods, Verification and Validation: 10th …, 2021 | 2 | 2021 |
Software Quality Control Through Formal Method J Chang Western Michigan University, 2020 | 1 | 2020 |
sCompile: Critical path identification and analysis for smart contracts.(2019) J CHANG, B GAO, H XIAO, J SUN, Y CAI, Z YANG International Conference on Formal Engineering Methods (ICFEM 2019 …, 2019 | | 2019 |