GitHub repository: stfbk/socrates-replication-package
Primary language: Jupyter Notebook
Created: 2019-10-24T08:17:37Z
Description: SoCRATES is framework for Ethereum Smart Contract test cases generation