| Contractfuzzer: Fuzzing smart contracts for vulnerability detection B Jiang, Y Liu, WK Chan Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 644 | 2018 |
| 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 | 49 | 2020 |
| The scope of chatgpt in software engineering: A thorough investigation W Ma, S Liu, W Wang, Q Hu, Y Liu, C Zhang, L Nie, Y Liu arXiv preprint arXiv:2305.12138, 2023 | 43 | 2023 |
| ModCon: A Model-Based Testing Platform for Smart Contracts Y Liu, Y Li, SW Lin, Q Yan ESEC/FSE, 2020 | 27 | 2020 |
| 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 | 23 | 2022 |
| 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 | 20 | 2020 |
| Invcon: A dynamic invariant detector for ethereum smart contracts Y Liu, Y Li Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 16 | 2022 |
| 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 | 8 | 2022 |
| Identifying solidity smart contract api documentation errors C Zhu, Y Liu, X Wu, Y Li Proceedings of the 37th IEEE/ACM International Conference on Automated …, 2022 | 5 | 2022 |
| A Comprehensive Study of Governance Issues in Decentralized Finance Applications W Ma, C Zhu, Y Liu, X Xie, Y Li arXiv preprint arXiv:2311.01433, 2023 | 2 | 2023 |
| A Unified Specification Mining Framework for Smart Contracts Y Liu the 37th IEEE/ACM International Conference on Automated Software Engineering …, 2022 | 2 | 2022 |
| Acfix: Guiding llms with mined common rbac practices for context-aware repair of access control vulnerabilities in smart contracts L Zhang, K Li, K Sun, D Wu, Y Liu, H Tian, Y Liu arXiv preprint arXiv:2403.06838, 2024 | 1 | 2024 |
| Automated Invariant Generation for Solidity Smart Contracts Y Liu, C Zhang arXiv preprint arXiv:2401.00650, 2024 | 1 | 2024 |
| Specification Mining for Smart Contracts with Trace Slicing and Predicate Abstraction Y Liu, Y Li, C Artho, Y Liu arXiv preprint arXiv:2403.13279, 2024 | | 2024 |
| On security and reliability of smart contracts: the applications of dynamic specification mining on solidity Y Liu Nanyang Technological University, 2023 | | 2023 |
Yi LiNanyang Technological UniversityVerified email at ntu.edu.sg
