Follow
Ye liu
Title
Cited by
Cited by
Year
Contractfuzzer: Fuzzing smart contracts for vulnerability detection
B Jiang, Y Liu, WK Chan
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
3862018
Oracle-supported dynamic exploit generation for smart contracts
H Wang, Y Liu, Y Li, SW Lin, C Artho, L Ma, Y Liu
IEEE Transactions on Dependable and Secure Computing 19 (3), 1795-1809, 2020
222020
ModCon: A Model-Based Testing Platform for Smart Contracts
Y Liu, Y Li, SW Lin, Q Yan
ESEC/FSE, 2020
172020
Towards automated verification of smart contract fairness
Y Liu, Y Li, SW Lin, R Zhao
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
92020
Finding permission bugs in smart contracts with role mining
Y Liu, Y Li, SW Lin, C Artho
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
42022
SolSEE: a source-level symbolic execution engine for solidity
SW Lin, P Tolmach, Y Liu, Y Li
Proceedings of the 30th ACM Joint European Software Engineering Conference …, 2022
22022
InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts
Y Liu, Y Li
37th IEEE/ACM International Conference on Automated Software Engineering, 1-4, 2022
22022
Identifying Solidity Smart Contract API Documentation Errors
C Zhu, Y Liu, X Wu, Y Li
37th IEEE/ACM International Conference on Automated Software Engineering, 1-13, 2022
2022
A Unified Specification Mining Framework for Smart Contracts
Y Liu
the 37th IEEE/ACM International Conference on Automated Software Engineering …, 2022
2022
The system can't perform the operation now. Try again later.
Articles 1–9