Publisher
Springer Science and Business Media LLC
Reference66 articles.
1. SWC (2023) Smart contract weakness classification and test cases. https://swcregistry.io/. Accessed 04 April 2023
2. Solidity documentation. https://docs.soliditylang.org/en/v0.8.16/. Accessed 01 September 2022
3. Akca S, Rajan A, Peng, C (2019) Solanalyser: A framework for analysing and testing smart contracts. 2019 26th Asia-Pacific Software Engineering Conference (APSEC) pp 482–489
4. Albert E, Correas J, Gordillo P, Román-Díez G, Rubio A (2019) SAFEVM: A Safety Verifier for Ethereum Smart Contracts. Association for Computing Machinery, New York, NY, USA p 386-389 https://doi.org/10.1145/3293882.3338999
5. Ardit D (2017) Ethereum smart contracts: Security vulnerabilities and security tools. Master’s thesis, Trondheim, Norway: Norwegian University of Science and Technology, Department of Computer Science