1. Szabo N. 2018. Smart Contracts : Building Blocks for Digital Markets. Szabo N. 2018. Smart Contracts : Building Blocks for Digital Markets.
2. Securify
3. Bo Jiang , Ye Liu , and W. K. Chan . 2018. ContractFuzzer: fuzzing smart contracts for vulnerability detection . In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE '18) . ACM Press, New York, NY, USA, 259–269. https://doi.org/10.1145/3238147.3238177 10.1145/3238147.3238177 Bo Jiang, Ye Liu, and W. K. Chan. 2018. ContractFuzzer: fuzzing smart contracts for vulnerability detection. In Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE '18). ACM Press, New York, NY, USA, 259–269. https://doi.org/10.1145/3238147.3238177
4. Valentin Wüstholz and Maria Christakis . 2020 . Harvey: a greybox fuzzer for smart contracts . In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). ACM Press, New York, NY, USA, 1398–1409. https://doi.org/10.1145/3368089.3417064 10.1145/3368089.3417064 Valentin Wüstholz and Maria Christakis. 2020. Harvey: a greybox fuzzer for smart contracts. In Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2020). ACM Press, New York, NY, USA, 1398–1409. https://doi.org/10.1145/3368089.3417064
5. sFuzz