How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection.

Asem Ghaleb, Karthik Pattabiraman

Browse the full ISSTA paper archive.