Model-Based Testing Approach for EIP-1559 Ethereum Smart Contracts

von Hammami, Mohamed Amin
Veröffentlicht in International Conference on Model and Data Engineering (12. : 2023 : Sousse) Model and data engineering (2024)

White-Box Mutation Testing of Smart Contracts: A Quick Review

von Maalej, Afef Jmal
Veröffentlicht in VECoS (16. : 2023 : Marrakesch) Verification and evaluation of computer and communication systems (2024)

Safe and efficient runtime testing framework applied in dynamic and distributed systems

von Lahami, Mariam
Veröffentlicht 2016

Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts

von Hammami, Mohamed Amin
Veröffentlicht in CRiSIS (17. : 2022 : Sousse) Risks and Security of Internet and Systems (2023)