Automated Generation of Test Cases for Smart Contract Security Analyzers
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Ki Byung | - |
dc.contributor.author | Lee, Jonghyup | - |
dc.date.available | 2020-12-23T00:40:05Z | - |
dc.date.created | 2020-12-15 | - |
dc.date.issued | 2020-11 | - |
dc.identifier.issn | 2169-3536 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/gachon/handle/2020.sw.gachon/79388 | - |
dc.description.abstract | We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper. Using contract analyzers is the most practical solution for building a secure blockchain service, but they are relatively immature and lacking stable performance metrics. Traditionally, performance reports only compare static contract analyzers with pre-defined test cases, such as the Juliet test suite. However, building such test suites is burdensome for smart contracts, which are frequently change. In this paper, we propose an automated method to assess contract analyzers of smart contracts by diversifying test cases. In the experimental results, we identified nine erroneous alarms in the state-of-the-art contract analyzers with automatically generated test cases on five vulnerabilities. CCBY | - |
dc.language | 영어 | - |
dc.language.iso | en | - |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | - |
dc.relation.isPartOf | IEEE Access | - |
dc.title | Automated Generation of Test Cases for Smart Contract Security Analyzers | - |
dc.type | Article | - |
dc.type.rims | ART | - |
dc.description.journalClass | 1 | - |
dc.identifier.wosid | 000595994900001 | - |
dc.identifier.doi | 10.1109/ACCESS.2020.3039990 | - |
dc.identifier.bibliographicCitation | IEEE Access, v.8, pp.209377 - 209392 | - |
dc.description.isOpenAccess | N | - |
dc.identifier.scopusid | 2-s2.0-85097163638 | - |
dc.citation.endPage | 209392 | - |
dc.citation.startPage | 209377 | - |
dc.citation.title | IEEE Access | - |
dc.citation.volume | 8 | - |
dc.contributor.affiliatedAuthor | Kim, Ki Byung | - |
dc.contributor.affiliatedAuthor | Lee, Jonghyup | - |
dc.type.docType | Article | - |
dc.subject.keywordAuthor | Arrays | - |
dc.subject.keywordAuthor | Blockchain | - |
dc.subject.keywordAuthor | Computer bugs | - |
dc.subject.keywordAuthor | Contracts | - |
dc.subject.keywordAuthor | Encoding | - |
dc.subject.keywordAuthor | honey pots | - |
dc.subject.keywordAuthor | security audits | - |
dc.subject.keywordAuthor | Smart contracts | - |
dc.subject.keywordAuthor | Smart contracts | - |
dc.subject.keywordAuthor | Static analysis | - |
dc.subject.keywordAuthor | static analysis | - |
dc.subject.keywordPlus | Static analysis | - |
dc.subject.keywordPlus | Automated generation | - |
dc.subject.keywordPlus | Automated methods | - |
dc.subject.keywordPlus | Automatically generated | - |
dc.subject.keywordPlus | Performance reports | - |
dc.subject.keywordPlus | Practical solutions | - |
dc.subject.keywordPlus | Security analyzers | - |
dc.subject.keywordPlus | Stable performance | - |
dc.subject.keywordPlus | Systematic method | - |
dc.subject.keywordPlus | Automatic test pattern generation | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
1342, Seongnam-daero, Sujeong-gu, Seongnam-si, Gyeonggi-do, Republic of Korea(13120)031-750-5114
COPYRIGHT 2020 Gachon University All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.