SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper).

Namrata Jain, Kosuke Kaneko, Subodh Sharma

Browse the full SEFM paper archive.