Automated Generation of Test Cases for Smart Contract Security Analyzers[J] IEEE ACCESS 2020(8) Kim, Ki Byung Lee, Jonghyup
