{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T18:46:35Z","timestamp":1761417995688,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T00:00:00Z","timestamp":1677110400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,2,23]]},"DOI":"10.1145\/3578527.3578538","type":"proceedings-article","created":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T23:07:45Z","timestamp":1676848065000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["SmartFuzzDriverGen: Smart Contract Fuzzing Automation for Golang"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-3771-7860","authenticated-orcid":false,"given":"Siddhasagar","family":"Pani","sequence":"first","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4304-3767","authenticated-orcid":false,"given":"Harshita Vani","family":"Nallagonda","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4013-392X","authenticated-orcid":false,"family":"Vigneswaran","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9162-4825","authenticated-orcid":false,"given":"Raveendra Kumar","family":"Medicherla","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9839-4754","authenticated-orcid":false,"family":"Rajan M","sequence":"additional","affiliation":[{"name":"Tata Consultancy Services, India"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,2,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2020.101227"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340456"},{"key":"e_1_3_2_1_3_1","volume-title":"3rd Symposium on Distributed Ledger Technology (SDLT-2018)","author":"Beckert Bernhard","year":"2018","unstructured":"Bernhard Beckert , Mihai Herda , Michael Kirsten , and Jonas Schiffl . 2018 . Formal specification and verification of Hyperledger Fabric chaincode . In 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM. 44\u201348. Bernhard Beckert, Mihai Herda, Michael Kirsten, and Jonas Schiffl. 2018. Formal specification and verification of Hyperledger Fabric chaincode. In 3rd Symposium on Distributed Ledger Technology (SDLT-2018) co-located with ICFEM. 44\u201348."},{"volume-title":"Software Quality Control Through Formal Method","author":"Chang Jialiang","key":"e_1_3_2_1_4_1","unstructured":"Jialiang Chang . 2020. Software Quality Control Through Formal Method . Western Michigan University . Jialiang Chang. 2020. Software Quality Control Through Formal Method. Western Michigan University."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678888"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-0871-4_24"},{"key":"e_1_3_2_1_7_1","volume-title":"Hfcontractfuzzer: Fuzzing hyperledger fabric smart contracts for vulnerability detection. In Evaluation and Assessment in Software Engineering. 321\u2013328.","author":"Ding Mengjie","year":"2021","unstructured":"Mengjie Ding , Peiru Li , Shanshan Li , and He Zhang . 2021 . Hfcontractfuzzer: Fuzzing hyperledger fabric smart contracts for vulnerability detection. In Evaluation and Assessment in Software Engineering. 321\u2013328. Mengjie Ding, Peiru Li, Shanshan Li, and He Zhang. 2021. Hfcontractfuzzer: Fuzzing hyperledger fabric smart contracts for vulnerability detection. In Evaluation and Assessment in Software Engineering. 321\u2013328."},{"key":"e_1_3_2_1_8_1","unstructured":"Hyperledger Fabric. 2022. Hyperledger Fabric Samples. https:\/\/github.com\/hyperledger\/fabric-samples.  Hyperledger Fabric. 2022. Hyperledger Fabric Samples. https:\/\/github.com\/hyperledger\/fabric-samples."},{"key":"e_1_3_2_1_9_1","unstructured":"Hyperledger Fabric. 2022. World-State. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/ledger\/ledger.html#world-state.  Hyperledger Fabric. 2022. World-State. https:\/\/hyperledger-fabric.readthedocs.io\/en\/release-2.2\/ledger\/ledger.html#world-state."},{"key":"e_1_3_2_1_10_1","unstructured":"Josselin Feist. 2018. Contract upgrade anti-patterns. https:\/\/blog.trailofbits.com\/2018\/09\/05\/contract-upgrade-anti-patterns\/.  Josselin Feist. 2018. Contract upgrade anti-patterns. https:\/\/blog.trailofbits.com\/2018\/09\/05\/contract-upgrade-anti-patterns\/."},{"key":"e_1_3_2_1_11_1","unstructured":"Klint Finley. 2016. A $50 Million Hack Just Showed That the DAO Was All Too Human. https:\/\/www.wired.com\/2016\/06\/50-million-hack-just-showed-dao-human.  Klint Finley. 2016. A $50 Million Hack Just Showed That the DAO Was All Too Human. https:\/\/www.wired.com\/2016\/06\/50-million-hack-just-showed-dao-human."},{"key":"e_1_3_2_1_12_1","unstructured":"ForAllSecure. 2022. The Roles of SAST and DAST and Fuzzing in Application Security. https:\/\/forallsecure.com\/blog\/sast-and-dast-in-application-security.  ForAllSecure. 2022. The Roles of SAST and DAST and Fuzzing in Application Security. https:\/\/forallsecure.com\/blog\/sast-and-dast-in-application-security."},{"key":"e_1_3_2_1_13_1","unstructured":"Jens-Rene Giesen Sebastien Andreina Michael Rodler Ghassan\u00a0O. Karame and Lucas Davi. 2022. Practical Mitigation of Smart Contract Bugs. In Arxiv. 1\u201317.  Jens-Rene Giesen Sebastien Andreina Michael Rodler Ghassan\u00a0O. Karame and Lucas Davi. 2022. Practical Mitigation of Smart Contract Bugs. In Arxiv. 1\u201317."},{"key":"e_1_3_2_1_14_1","unstructured":"Golang. 2022. Go Native Fuzzing. https:\/\/go.dev\/security\/fuzz\/.  Golang. 2022. Go Native Fuzzing. https:\/\/go.dev\/security\/fuzz\/."},{"key":"e_1_3_2_1_15_1","volume-title":"\u201csmart contract","author":"Goodin Dan","year":"2021","unstructured":"Dan Goodin . 2021. Really stupid \u201csmart contract \u201d bug let hackers steal $31 million in digital coin. https:\/\/arstechnica.com\/information-technology\/ 2021 \/12\/hackers-drain-31-million-from-cryptocurrency-service-monox-finance. Dan Goodin. 2021. Really stupid \u201csmart contract\u201d bug let hackers steal $31 million in digital coin. https:\/\/arstechnica.com\/information-technology\/2021\/12\/hackers-drain-31-million-from-cryptocurrency-service-monox-finance."},{"key":"e_1_3_2_1_16_1","unstructured":"Google. 2022. gofuzz. https:\/\/github.com\/google\/gofuzz.  Google. 2022. gofuzz. https:\/\/github.com\/google\/gofuzz."},{"key":"e_1_3_2_1_17_1","unstructured":"LLVM\u00a0Compiler Infrastructure. 2022. libFuzzer. https:\/\/llvm.org\/docs\/LibFuzzer.html.  LLVM\u00a0Compiler Infrastructure. 2022. libFuzzer. https:\/\/llvm.org\/docs\/LibFuzzer.html."},{"key":"e_1_3_2_1_18_1","volume-title":"FuzzGen: Automatic Fuzzer Generation. In 29th USENIX Security Symposium (USENIX Security 20)","author":"Ispoglou Kyriakos","year":"2020","unstructured":"Kyriakos Ispoglou , Daniel Austin , Vishwath Mohan , and Mathias Payer . 2020 . FuzzGen: Automatic Fuzzer Generation. In 29th USENIX Security Symposium (USENIX Security 20) . 2271\u20132287. Kyriakos Ispoglou, Daniel Austin, Vishwath Mohan, and Mathias Payer. 2020. FuzzGen: Automatic Fuzzer Generation. In 29th USENIX Security Symposium (USENIX Security 20). 2271\u20132287."},{"key":"e_1_3_2_1_19_1","unstructured":"Tobias Kaiser. 2018. Chaincode Scanner. https:\/\/hgf18.sched.com\/event\/G8rZ\/security-vulnerabilities-in-chaincode-tobias-kaiser-chainsecurity.  Tobias Kaiser. 2018. Chaincode Scanner. https:\/\/hgf18.sched.com\/event\/G8rZ\/security-vulnerabilities-in-chaincode-tobias-kaiser-chainsecurity."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243804"},{"key":"e_1_3_2_1_21_1","unstructured":"OpenZeppelin. 2022. Upgrading smart contracts. https:\/\/docs.openzeppelin.com\/learn\/upgrading-smart-contracts.  OpenZeppelin. 2022. Upgrading smart contracts. https:\/\/docs.openzeppelin.com\/learn\/upgrading-smart-contracts."},{"key":"e_1_3_2_1_22_1","unstructured":"Alfrick Opidi. 2022. How To Address SAST False Positives In Application Security Testing. https:\/\/www.mend.io\/resources\/blog\/resources-blog-sast-false-positives\/.  Alfrick Opidi. 2022. How To Address SAST False Positives In Application Security Testing. https:\/\/www.mend.io\/resources\/blog\/resources-blog-sast-false-positives\/."},{"key":"e_1_3_2_1_23_1","unstructured":"Santiago Palladino. 2017. The Parity Wallet Hack Explained. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7.  Santiago Palladino. 2017. The Parity Wallet Hack Explained. https:\/\/blog.openzeppelin.com\/on-the-parity-wallet-multisig-hack-405a8c12e8f7."},{"key":"e_1_3_2_1_24_1","volume-title":"Smart Contract Fuzzing for Enterprises: The Language Agnostic Way. In 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS). IEEE, 1\u20136.","author":"Pani Siddhasagar","year":"2022","unstructured":"Siddhasagar Pani , Harshita\u00a0Vani Nallagonda , Saumya Prakash , R Vigneswaran , Raveendra\u00a0Kumar Medicherla , and MA Rajan . 2022 . Smart Contract Fuzzing for Enterprises: The Language Agnostic Way. In 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS). IEEE, 1\u20136. Siddhasagar Pani, Harshita\u00a0Vani Nallagonda, Saumya Prakash, R Vigneswaran, Raveendra\u00a0Kumar Medicherla, and MA Rajan. 2022. Smart Contract Fuzzing for Enterprises: The Language Agnostic Way. In 2022 14th International Conference on COMmunication Systems & NETworkS (COMSNETS). IEEE, 1\u20136."},{"key":"e_1_3_2_1_25_1","unstructured":"Sergey Petrov. 2017. Another Parity Wallet hack explained. https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c.  Sergey Petrov. 2017. Another Parity Wallet hack explained. https:\/\/medium.com\/@Pr0Ger\/another-parity-wallet-hack-explained-847ca46a2e1c."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236084"},{"key":"e_1_3_2_1_27_1","unstructured":"sivachokkapu. 2020. Revive - CC. https:\/\/github.com\/sivachokkapu\/revive-cc.  sivachokkapu. 2020. Revive - CC. https:\/\/github.com\/sivachokkapu\/revive-cc."},{"key":"e_1_3_2_1_28_1","unstructured":"Dmitry Vyukov. 2022. go-fuzz. https:\/\/github.com\/dvyukov\/go-fuzz.  Dmitry Vyukov. 2022. go-fuzz. https:\/\/github.com\/dvyukov\/go-fuzz."},{"key":"e_1_3_2_1_29_1","unstructured":"Wikipedia. 2022. Fisher-Yates shuffle algorithm. https:\/\/en.wikipedia.org\/wiki\/Fisher-Yates_shuffle.  Wikipedia. 2022. Fisher-Yates shuffle algorithm. https:\/\/en.wikipedia.org\/wiki\/Fisher-Yates_shuffle."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWBOSE.2019.8666486"},{"key":"e_1_3_2_1_31_1","unstructured":"Michal Zalewski. 2022. American Fuzzy Lop (AFL). https:\/\/github.com\/google\/AFL.  Michal Zalewski. 2022. American Fuzzy Lop (AFL). https:\/\/github.com\/google\/AFL."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-SEIP52600.2021.00041"}],"event":{"name":"ISEC 2023: 16th Innovations in Software Engineering Conference","acronym":"ISEC 2023","location":"Allahabad India"},"container-title":["16th Innovations in Software Engineering Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578527.3578538","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3578527.3578538","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:37Z","timestamp":1750183717000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3578527.3578538"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,2,23]]},"references-count":32,"alternative-id":["10.1145\/3578527.3578538","10.1145\/3578527"],"URL":"https:\/\/doi.org\/10.1145\/3578527.3578538","relation":{},"subject":[],"published":{"date-parts":[[2023,2,23]]},"assertion":[{"value":"2023-02-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}