Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej. Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. In Slim Kallel, Mohamed Jmaiel, Mohammad Zulkernine, Ahmed Hadj Kacem, Frédéric Cuppens, Nora Cuppens, editors, Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers. Volume 13857 of Lecture Notes in Computer Science, pages 85-100, Springer, 2022. [doi]
Abstract is missing.