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

Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Malej

Browse the full CRiSIS paper archive.