Automated Generation of Test Cases for Smart Contract Security Analyzers. - Ki Byung Kim; JongHyup Lee (IEEE Access, 2020)