eTainter: detecting gas-related vulnerabilities in smart contracts.

Asem Ghaleb, Julia Rubin, Karthik Pattabiraman

Browse the full ISSTA paper archive.