Publisher
Springer International Publishing
Reference46 articles.
1. Albert, E., Correas, J., Gordillo, P., Román-Díez, G., Rubio, A.: Safevm: a safety verifier for ethereum smart contracts. In: Zhang, D., Møller, A. (eds.) Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis-ISSTA 2019, pp. 386–389. ACM Press, New York, USA (2019). 10.1145/3293882.3338999
2. Bai, X., Cheng, Z., Duan, Z., Hu, K.: Formal modeling and verification of smart contracts. In: Unknown (ed.) Proceedings of the 2018 7th International Conference on Software and Computer Applications-ICSCA 2018, pp. 322–326. ACM Press, New York, USA (2018). 10.1145/3185089.3185138
3. Beer, N.: Whitepaper why and how to test smart contract. https://q-leap.eu/wp-content/uploads/2018/10/Why-and-How-to-test-Smart-Contracts-Whitepaper-q-leap-1.pdf (2018). Accessed 29 Apr 2022
4. Bhardwaj, A., Shah, S.B.H., Shankar, A., Alazab, M., Kumar, M., Gadekallu, T.R.: Penetration testing framework for smart contract blockchain. Peer-to-Peer Netw. Appl. 5(2), 303 (2020). https://doi.org/10.1007/s12083-020-00991-6
5. Bhargavan, K., Swamy, N., Zanella-Béguelin, S., Delignat-Lavaud, A., Fournet, C., Gollamudi, A., Gonthier, G., Kobeissi, N., Kulatova, N., Rastogi, A., Sibut-Pinote, T.: Formal verification of smart contracts. In: Murray, T., Stefan, D. (eds.) Proceedings of the 2016 ACM Workshop on Programming Languages and Analysis for Security-PLAS’16, pp. 91–96, ACM Press, New York, USA (2016). 10.1145/2993600.2993611