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

Asem Ghaleb, Karthik Pattabiraman. How effective are smart contract analysis tools? evaluating smart contract static analysis tools using bug injection. In Sarfraz Khurshid, Corina S. Pasareanu, editors, ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. pages 415-427, ACM, 2020. [doi]

Abstract

Abstract is missing.