{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,7]],"date-time":"2026-05-07T16:11:43Z","timestamp":1778170303513,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":100,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,10]],"date-time":"2022-10-10T00:00:00Z","timestamp":1665360000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Ministry of Education, Singapore","award":["MOE2019-T2-1-040"],"award-info":[{"award-number":["MOE2019-T2-1-040"]}]},{"name":"Singapore National Research Foundation","award":["NRF2018NCR-NSOE004-0001"],"award-info":[{"award-number":["NRF2018NCR-NSOE004-0001"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,10]]},"DOI":"10.1145\/3551349.3556963","type":"proceedings-article","created":{"date-parts":[[2023,1,5]],"date-time":"2023-01-05T20:43:54Z","timestamp":1672951434000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Identifying Solidity Smart Contract API Documentation Errors"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7343-8279","authenticated-orcid":false,"given":"Chenguang","family":"Zhu","sequence":"first","affiliation":[{"name":"The University of Texas at Austin, United States of America"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6709-3721","authenticated-orcid":false,"given":"Ye","family":"Liu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4464-0782","authenticated-orcid":false,"given":"Xiuheng","family":"Wu","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8208","authenticated-orcid":false,"given":"Yi","family":"Li","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,1,5]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2001. Cppx - Open Source C++ Fact Extractor. http:\/\/www.swag.uwaterloo.ca\/cppx."},{"key":"e_1_3_2_1_2_1","unstructured":"2010. Javex - Java Fact Extractor. http:\/\/www.swag.uwaterloo.ca\/javex."},{"key":"e_1_3_2_1_3_1","unstructured":"2018. ClangEx \u2013 A Fast C\/C++ Fact Extractor. https:\/\/github.com\/bmuscede\/ClangEx."},{"key":"e_1_3_2_1_4_1","unstructured":"2019. Mythril: A Security Analysis Tool for EVM Bytecode. https:\/\/github.com\/ConsenSys\/mythril."},{"key":"e_1_3_2_1_5_1","unstructured":"2020. Etherscan. https:\/\/etherscan.io."},{"key":"e_1_3_2_1_6_1","unstructured":"2021. State of The DApps. https:\/\/www.stateofthedapps.com\/zh\/platforms\/ethereum."},{"key":"e_1_3_2_1_7_1","unstructured":"2022. Add missing docs about reverts in DoubleEndedQueue. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/commit\/525a6728625d40c738dc7d1ec9e518e066f22054."},{"key":"e_1_3_2_1_8_1","unstructured":"2022. BNB Smart Chain. https:\/\/www.bnbchain.world\/en\/smartChain."},{"key":"e_1_3_2_1_9_1","unstructured":"2022. Dappsys. https:\/\/github.com\/dapphub\/dappsys."},{"key":"e_1_3_2_1_10_1","unstructured":"2022. DSProxy. https:\/\/github.com\/dapphub\/ds-proxy."},{"key":"e_1_3_2_1_11_1","unstructured":"2022. DSToken. https:\/\/github.com\/dapphub\/ds-token."},{"key":"e_1_3_2_1_12_1","unstructured":"2022. EIP-2981: NFT Royalty Standard. https:\/\/eips.ethereum.org\/EIPS\/eip-2981."},{"key":"e_1_3_2_1_13_1","unstructured":"2022. ERC-20 Token Standard. https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-20."},{"key":"e_1_3_2_1_14_1","unstructured":"2022. ERC-777 Token Standard. https:\/\/ethereum.org\/en\/developers\/docs\/standards\/tokens\/erc-777."},{"key":"e_1_3_2_1_15_1","unstructured":"2022. ERC: Ethereum Improvement Proposals. https:\/\/eips.ethereum.org\/erc."},{"key":"e_1_3_2_1_16_1","unstructured":"2022. ERC721 Contract Extensions. https:\/\/github.com\/1001-digital\/erc721-extensions."},{"key":"e_1_3_2_1_17_1","unstructured":"2022. Fix comments. Fixes #12. https:\/\/github.com\/1001-digital\/erc721-extensions\/commit\/c4b3ec8ebbf3534f3a6f1105e13f7d674029aa3d."},{"key":"e_1_3_2_1_18_1","unstructured":"2022. GitHub Comment on Issue #3362. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3362#issuecomment-1110708897."},{"key":"e_1_3_2_1_19_1","unstructured":"2022. GitHub Comment on Issue #3366. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3366#issuecomment-1111937624."},{"key":"e_1_3_2_1_20_1","unstructured":"2022. GitHub Comment on Issue #3369. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3369#issuecomment-1111948931."},{"key":"e_1_3_2_1_21_1","unstructured":"2022. GitHub Comment on Issue #3374. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3374#issuecomment-1113172780."},{"key":"e_1_3_2_1_22_1","unstructured":"2022. GitHub Comment on Issue #3374. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3374#issuecomment-1117950893."},{"key":"e_1_3_2_1_23_1","unstructured":"2022. Improve wording consistency in code\/doc. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/pull\/3365."},{"key":"e_1_3_2_1_24_1","unstructured":"2022. Inconsistency between the code and doc of EnumerableSet._at. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3366."},{"key":"e_1_3_2_1_25_1","unstructured":"2022. Inconsistency between the code and doc of ERC20._transfer. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3359."},{"key":"e_1_3_2_1_26_1","unstructured":"2022. Inconsistency between the code and the doc of VestingWallet.release. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3368."},{"key":"e_1_3_2_1_27_1","unstructured":"2022. Inconsistency between the code and the doc of WithFees.getFeeRecipients and WithFees.getFeeBps. https:\/\/github.com\/1001-digital\/erc721-extensions\/issues\/12."},{"key":"e_1_3_2_1_28_1","unstructured":"2022. Inconsistency between the code of ERC721.safeTransferFrom and the doc of IERC721.safeTransferFrom. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3362."},{"key":"e_1_3_2_1_29_1","unstructured":"2022. OpenZeppelin. https:\/\/openzeppelin.com."},{"key":"e_1_3_2_1_30_1","unstructured":"2022. Remove outdated documentation in ERC2981._setTokenRoyalty. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/commit\/dd018894345a99e5058578cd0dc15bbb31b631b3."},{"key":"e_1_3_2_1_31_1","unstructured":"2022. Slither: The Solidity Source Analyzer. https:\/\/github.com\/crytic\/slither."},{"key":"e_1_3_2_1_32_1","unstructured":"2022. Suggesting updates on the doc of Escrow.deposit and Escrow.withdraw. https:\/\/github.com\/OpenZeppelin\/openzeppelin-contracts\/issues\/3369."},{"key":"e_1_3_2_1_33_1","unstructured":"2022. The DocCon Website. https:\/\/sites.google.com\/view\/doccon-tool."},{"key":"e_1_3_2_1_34_1","unstructured":"2022. TRON Network. https:\/\/tron.network\/."},{"key":"e_1_3_2_1_35_1","volume-title":"Foundations of Databases","author":"Abiteboul Serge","unstructured":"Serge Abiteboul, Richard Hull, and Victor Vianu. 1995. Foundations of Databases. Addison-Wesley Reading."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2018.00012"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2827384"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-014-9350-8"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2019.08.014"},{"key":"e_1_3_2_1_40_1","volume-title":"Simple and Efficient Relational Querying of Software Structures. In Working Conference on Reverse Engineering. 216\u2013225","author":"Beyer Dirk","year":"2003","unstructured":"Dirk Beyer, Andreas Noack, and Claus Lewerentz. 2003. Simple and Efficient Relational Querying of Software Structures. In Working Conference on Reverse Engineering. 216\u2013225."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.12.030"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111069"},{"key":"e_1_3_2_1_43_1","volume-title":"Strictly Declarative Specification of Sophisticated Points-to Analyses. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. 243\u2013262","author":"Bravenboer Martin","year":"2009","unstructured":"Martin Bravenboer and Yannis Smaragdakis. 2009. Strictly Declarative Specification of Sophisticated Points-to Analyses. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. 243\u2013262."},{"key":"e_1_3_2_1_44_1","volume-title":"Change Detection in Hierarchically Structured Information. In ACM SIGMOD International Conference on Management of Data. 493\u2013504","author":"Chawathe S.","year":"1996","unstructured":"Sudarshan\u00a0S. Chawathe, Anand Rajaraman, Hector Garcia-Molina, and Jennifer Widom. 1996. Change Detection in Hierarchically Structured Information. In ACM SIGMOD International Conference on Management of Data. 493\u2013504."},{"key":"e_1_3_2_1_45_1","volume-title":"Understanding Code Reuse in Smart Contracts. In International Conference on Software Analysis, Evolution and Reengineering. 470\u2013479","author":"Chen Xiangping","year":"2021","unstructured":"Xiangping Chen, Peiyong Liao, Yixin Zhang, Yuan Huang, and Zibin Zheng. 2021. Understanding Code Reuse in Smart Contracts. In International Conference on Software Analysis, Evolution and Reengineering. 470\u2013479."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Barth\u00e9l\u00e9my Dagenais and Martin\u00a0P Robillard. 2010. Creating and Evolving Developer Documentation: Understanding the Decisions of Open Source Contributors. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 127\u2013136.","DOI":"10.1145\/1882291.1882312"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2010.35"},{"key":"e_1_3_2_1_48_1","volume-title":"Fine-Grained and Accurate Source Code Differencing. In International Conference on Automated Software Engineering. 313\u2013324","author":"Falleri Jean-R\u00e9my","year":"2014","unstructured":"Jean-R\u00e9my Falleri, Flor\u00e9al Morandat, Xavier Blanc, Matias Martinez, and Martin Monperrus. 2014. Fine-Grained and Accurate Source Code Differencing. In International Conference on Automated Software Engineering. 313\u2013324."},{"key":"e_1_3_2_1_49_1","volume-title":"Slither: A Static Analysis Framework for Smart Contracts. In International Workshop on Emerging Trends in Software Engineering for Blockchain. 8\u201315","author":"Feist Josselin","year":"2019","unstructured":"Josselin Feist, Gustavo Grieco, and Alex Groce. 2019. Slither: A Static Analysis Framework for Smart Contracts. In International Workshop on Emerging Trends in Software Engineering for Blockchain. 8\u201315."},{"key":"e_1_3_2_1_50_1","volume-title":"Classifying Change Types for Qualifying Change Couplings. In International Conference on Program Comprehension. 35\u201345","author":"Fluri Beat","year":"2006","unstructured":"Beat Fluri and Harald\u00a0C. Gall. 2006. Classifying Change Types for Qualifying Change Couplings. In International Conference on Program Comprehension. 35\u201345."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2007.70731"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276486"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238212"},{"key":"e_1_3_2_1_54_1","volume-title":"Diff\/TS: A Tool for Fine-Grained Structural Change Analysis. In Working Conference on Reverse Engineering. 279\u2013288","author":"Hashimoto Masatomo","year":"2008","unstructured":"Masatomo Hashimoto and Akira Mori. 2008. Diff\/TS: A Tool for Fine-Grained Structural Change Analysis. In Working Conference on Reverse Engineering. 279\u2013288."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180176"},{"key":"e_1_3_2_1_56_1","volume-title":"ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In International Conference on Automated Software Engineering. 259\u2013269","author":"Jiang Bo","year":"2018","unstructured":"Bo Jiang, Ye Liu, and WK Chan. 2018. ContractFuzzer: Fuzzing Smart Contracts for Vulnerability Detection. In International Conference on Automated Software Engineering. 259\u2013269."},{"key":"e_1_3_2_1_57_1","volume-title":"Souffl\u00e9: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification. 422\u2013430","author":"Jordan Herbert","year":"2016","unstructured":"Herbert Jordan, Bernhard Scholz, and Pavle Suboti\u0107. 2016. Souffl\u00e9: On Synthesis of Program Analyzers. In International Conference on Computer Aided Verification. 422\u2013430."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.10.007"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2019.2901459"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC52881.2021.00013"},{"key":"e_1_3_2_1_61_1","volume-title":"SolSEE: A Source-Level Symbolic Execution Engine for Solidity. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering.","author":"Lin Shang-Wei","year":"2022","unstructured":"Shang-Wei Lin, Palina Tolmach, Ye Liu, and Yi Li. 2022. SolSEE: A Source-Level Symbolic Execution Engine for Solidity. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering."},{"key":"e_1_3_2_1_62_1","volume-title":"Automatic Early Defects Detection in Use Case Documents. In International Conference on Automated Software Engineering. 785\u2013790","author":"Liu Shuang","year":"2014","unstructured":"Shuang Liu, Jun Sun, Yang Liu, Yue Zhang, Bimlesh Wadhwa, Jin\u00a0Song Dong, and Xinyu Wang. 2014. Automatic Early Defects Detection in Use Case Documents. In International Conference on Automated Software Engineering. 785\u2013790."},{"key":"e_1_3_2_1_63_1","volume-title":"InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. In International Conference on Automated Software Engineering.","author":"Liu Ye","year":"2022","unstructured":"Ye Liu and Yi Li. 2022. InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts. In International Conference on Automated Software Engineering."},{"key":"e_1_3_2_1_64_1","volume-title":"Finding Permission Bugs in Smart Contracts with Role Mining. In International Symposium on Software Testing and Analysis. 716\u2013727","author":"Liu Ye","year":"2022","unstructured":"Ye Liu, Yi Li, Shang-Wei Lin, and Cyrille Artho. 2022. Finding Permission Bugs in Smart Contracts with Role Mining. In International Symposium on Software Testing and Analysis. 716\u2013727."},{"key":"e_1_3_2_1_65_1","volume-title":"ModCon: A Model-Based Testing Platform for Smart Contracts. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1601\u20131605","author":"Liu Ye","year":"2020","unstructured":"Ye Liu, Yi Li, Shang-Wei Lin, and Qiang Yan. 2020. ModCon: A Model-Based Testing Platform for Smart Contracts. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1601\u20131605."},{"key":"e_1_3_2_1_66_1","volume-title":"Towards Automated Verification of Smart Contract Fairness. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 666\u2013677","author":"Liu Ye","year":"2020","unstructured":"Ye Liu, Yi Li, Shang-Wei Lin, and Rong Zhao. 2020. Towards Automated Verification of Smart Contract Fairness. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 666\u2013677."},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416628"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2021.3138909"},{"key":"e_1_3_2_1_69_1","volume-title":"Automating Just-In-Time Comment Updating. In International Conference on Automated Software Engineering. 585\u2013597","author":"Liu Zhongxin","year":"2020","unstructured":"Zhongxin Liu, Xin Xia, Meng Yan, and Shanping Li. 2020. Automating Just-In-Time Comment Updating. In International Conference on Automated Software Engineering. 585\u2013597."},{"key":"e_1_3_2_1_70_1","volume-title":"Making Smart Contracts Smarter. In ACM SIGSAC Conference on Computer and Communications Security. 254\u2013269","author":"Luu Loi","year":"2016","unstructured":"Loi Luu, Duc-Hiep Chu, Hrishi Olickel, Prateek Saxena, and Aquinas Hobor. 2016. Making Smart Contracts Smarter. In ACM SIGSAC Conference on Computer and Communications Security. 254\u2013269."},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-011-9186-4"},{"key":"e_1_3_2_1_72_1","volume-title":"Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. In International Conference on Automated Software Engineering. 1186\u20131189","author":"Mossberg Mark","year":"2019","unstructured":"Mark Mossberg, Felipe Manzano, Eric Hennenfent, Alex Groce, Gustavo Grieco, Josselin Feist, Trent Brunson, and Artem Dinaburg. 2019. Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. In International Conference on Automated Software Engineering. 1186\u20131189."},{"key":"e_1_3_2_1_73_1","unstructured":"Satoshi Nakamoto 2008. Bitcoin: A Peer-to-Peer Electronic Cash System. (2008)."},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338965"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-020-09870-3"},{"key":"e_1_3_2_1_76_1","volume-title":"Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. In Thirty-Fifth AAAI Conference on Artificial Intelligence. 427\u2013435","author":"Panthaplackel Sheena","year":"2021","unstructured":"Sheena Panthaplackel, Junyi\u00a0Jessy Li, Milos Gligoric, and Raymond\u00a0J. Mooney. 2021. Deep Just-In-Time Inconsistency Detection Between Comments and Source Code. In Thirty-Fifth AAAI Conference on Artificial Intelligence. 427\u2013435."},{"key":"e_1_3_2_1_77_1","volume-title":"Detecting Fragile Comments. In International Conference on Automated Software Engineering. 112\u2013122","author":"Ratol Inderjot\u00a0Kaur","year":"2017","unstructured":"Inderjot\u00a0Kaur Ratol and Martin\u00a0P Robillard. 2017. Detecting Fragile Comments. In International Conference on Automated Software Engineering. 112\u2013122."},{"key":"e_1_3_2_1_78_1","volume-title":"An Observational Study on API Usage Constraints and Their Documentation. In International Conference on Software Analysis, Evolution and Reengineering. 33\u201342","author":"Saied Mohamed\u00a0Aymen","year":"2015","unstructured":"Mohamed\u00a0Aymen Saied, Houari Sahraoui, and Bruno Dufour. 2015. An Observational Study on API Usage Constraints and Their Documentation. In International Conference on Software Analysis, Evolution and Reengineering. 33\u201342."},{"key":"e_1_3_2_1_79_1","volume-title":"An Empirical Study on Evolution of API Documentation. In International Conference on Fundamental Approaches to Software Engineering. 416\u2013431","author":"Shi Lin","year":"2011","unstructured":"Lin Shi, Hao Zhong, Tao Xie, and Mingshu Li. 2011. An Empirical Study on Evolution of API Documentation. In International Conference on Fundamental Approaches to Software Engineering. 416\u2013431."},{"key":"e_1_3_2_1_80_1","unstructured":"Solidity 2022. Solidity. https:\/\/solidity.readthedocs.io\/en\/v0.5.1\/."},{"key":"e_1_3_2_1_81_1","volume-title":"Quality Analysis of Source Code Comments. In International Conference on Program Comprehension. 83\u201392","author":"Steidl Daniela","year":"2013","unstructured":"Daniela Steidl, Benjamin Hummel, and Elmar Juergens. 2013. Quality Analysis of Source Code Comments. In International Conference on Program Comprehension. 83\u201392."},{"key":"e_1_3_2_1_82_1","volume-title":"Formalizing and Securing Relationships on Public Networks. First Monday","author":"Szabo Nick","year":"1997","unstructured":"Nick Szabo. 1997. Formalizing and Securing Relationships on Public Networks. First Monday (1997)."},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1145\/1294261.1294276"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985796"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.106"},{"key":"e_1_3_2_1_86_1","unstructured":"Trail of Bits 2019. Echidna. Trail of Bits. https:\/\/github.com\/trailofbits\/echidna"},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2014.80"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2020.3037332"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2019.00019"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.2993470"},{"key":"e_1_3_2_1_91_1","first-page":"1","article-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger","volume":"151","author":"Wood Gavin","year":"2014","unstructured":"Gavin Wood. 2014. Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum Project Yellow Paper 151 (2014), 1\u201332.","journal-title":"Ethereum Project Yellow Paper"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"crossref","unstructured":"Xiuheng Wu Chenguang Zhu and Yi Li. 2021. Diffbase: A Differential Factbase for Effective Software Evolution Management. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 503\u2013515.","DOI":"10.1145\/3468264.3468605"},{"key":"e_1_3_2_1_93_1","volume-title":"Harvey: A Greybox Fuzzer for Smart Contracts. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1398\u20131409","author":"W\u00fcstholz Valentin","year":"2020","unstructured":"Valentin W\u00fcstholz and Maria Christakis. 2020. Harvey: A Greybox Fuzzer for Smart Contracts. In The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1398\u20131409."},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409716"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380427"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/3468264.3468546"},{"key":"e_1_3_2_1_97_1","volume-title":"An Empirical Study on API Parameter Rules. In International Conference on Software Engineering. 899\u2013911","author":"Zhong Hao","year":"2020","unstructured":"Hao Zhong, Na Meng, Zexuan Li, and Li Jia. 2020. An Empirical Study on API Parameter Rules. In International Conference on Software Engineering. 899\u2013911."},{"key":"e_1_3_2_1_98_1","volume-title":"Detecting API Documentation Errors. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. 803\u2013816","author":"Zhong Hao","year":"2013","unstructured":"Hao Zhong and Zhendong Su. 2013. Detecting API Documentation Errors. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. 803\u2013816."},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2017.11"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2872971"}],"event":{"name":"ASE '22: 37th IEEE\/ACM International Conference on Automated Software Engineering","location":"Rochester MI USA","acronym":"ASE '22"},"container-title":["Proceedings of the 37th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556963","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3551349.3556963","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,22]],"date-time":"2025-08-22T07:54:55Z","timestamp":1755849295000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3551349.3556963"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,10]]},"references-count":100,"alternative-id":["10.1145\/3551349.3556963","10.1145\/3551349"],"URL":"https:\/\/doi.org\/10.1145\/3551349.3556963","relation":{},"subject":[],"published":{"date-parts":[[2022,10,10]]},"assertion":[{"value":"2023-01-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}