{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,10]],"date-time":"2026-02-10T14:01:02Z","timestamp":1770732062733,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,7]],"date-time":"2020-11-07T00:00:00Z","timestamp":1604707200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Joint NTU-WeBank Research Centre of Eco-Intelligent Applications (THEIA)","award":["NWJ-2019-003"],"award-info":[{"award-number":["NWJ-2019-003"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,8]]},"DOI":"10.1145\/3368089.3417939","type":"proceedings-article","created":{"date-parts":[[2020,11,8]],"date-time":"2020-11-08T06:03:47Z","timestamp":1604815427000},"page":"1601-1605","source":"Crossref","is-referenced-by-count":23,"title":["ModCon: a model-based testing platform for smart contracts"],"prefix":"10.1145","author":[{"given":"Ye","family":"Liu","sequence":"first","affiliation":[{"name":"Nanyang Technological University, Singapore"}]},{"given":"Yi","family":"Li","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}]},{"given":"Shang-Wei","family":"Lin","sequence":"additional","affiliation":[{"name":"Nanyang Technological University, Singapore"}]},{"given":"Qiang","family":"Yan","sequence":"additional","affiliation":[{"name":"WeBank, China"}]}],"member":"320","published-online":{"date-parts":[[2020,11,7]]},"reference":[{"key":"e_1_3_2_2_1_1","unstructured":"2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril. A Security Analysis Tool for EVM Bytecode.  2019. Mythril. https:\/\/github.com\/ConsenSys\/mythril. A Security Analysis Tool for EVM Bytecode."},{"key":"e_1_3_2_2_2_1","unstructured":"2019. Oyente. https:\/\/github.com\/melonproject\/oyente. An Analysis Tool for Smart Contracts.  2019. Oyente. https:\/\/github.com\/melonproject\/oyente. An Analysis Tool for Smart Contracts."},{"key":"e_1_3_2_2_3_1","unstructured":"2020. Azure Blockchain Workbench. https:\/\/azure.microsoft.com\/en-us\/features\/ blockchain-workbench\/.  2020. Azure Blockchain Workbench. https:\/\/azure.microsoft.com\/en-us\/features\/ blockchain-workbench\/."},{"key":"e_1_3_2_2_4_1","unstructured":"2020. Ethereum Transaction Fees Fall by 75% as Congestion Eases. https:\/\/cointelegraph.com\/news\/ethereum-transaction-fees-fall-by-75-ascongestion-eases.  2020. Ethereum Transaction Fees Fall by 75% as Congestion Eases. https:\/\/cointelegraph.com\/news\/ethereum-transaction-fees-fall-by-75-ascongestion-eases."},{"key":"e_1_3_2_2_5_1","unstructured":"2020. FISCO BCOS. https:\/\/fisco-bcos.org\/.  2020. FISCO BCOS. https:\/\/fisco-bcos.org\/."},{"key":"e_1_3_2_2_6_1","unstructured":"2020. Node.js. https:\/\/nodejs.org\/.  2020. Node.js. https:\/\/nodejs.org\/."},{"key":"e_1_3_2_2_7_1","unstructured":"2020. Open Proven Enterprise-Grade DLT. https:\/\/www.hyperledger.org\/wpcontent\/uploads\/2020\/03\/hyperledger_fabric_whitepaper.pdf.  2020. Open Proven Enterprise-Grade DLT. https:\/\/www.hyperledger.org\/wpcontent\/uploads\/2020\/03\/hyperledger_fabric_whitepaper.pdf."},{"key":"e_1_3_2_2_8_1","unstructured":"2020. The Progressive JavaScript Framework. https:\/\/vuejs.org\/.  2020. The Progressive JavaScript Framework. https:\/\/vuejs.org\/."},{"key":"e_1_3_2_2_9_1","unstructured":"2020. WeBank (China). https:\/\/en.wikipedia.org\/wiki\/WeBank_(China).  2020. WeBank (China). https:\/\/en.wikipedia.org\/wiki\/WeBank_(China)."},{"key":"e_1_3_2_2_10_1","volume-title":"VSTTE 2019","author":"Born Cody","year":"2020"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-32409-4_18"},{"key":"e_1_3_2_2_12_1","unstructured":"Marco Iansiti and Karim R Lakhani. 2017. The Truth about Blockchain. Harvard Business Review ( 2017 ).  Marco Iansiti and Karim R Lakhani. 2017. The Truth about Blockchain. Harvard Business Review ( 2017 )."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238177"},{"key":"e_1_3_2_2_14_1","volume-title":"ZEUS: Analyzing Safety of Smart Contracts. In NDSS.","author":"Kalra Sukrit","year":"2018"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183440.3183495"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978309"},{"key":"e_1_3_2_2_17_1","volume-title":"Designing Secure Ethereum Smart Contracts: A Finite State Machine Based Approach. In International Conference on Financial Cryptography and Data Security. Springer, 523-540","author":"Mavridou Anastasia","year":"2018"},{"key":"e_1_3_2_2_18_1","volume-title":"VeriSolid: Correct-by-Design Smart Contracts for Ethereum. (jan 2019 ). arXiv","author":"Mavridou Anastasia","year":"1901"},{"key":"e_1_3_2_2_19_1","volume-title":"Bitcoin: A Peer-to-Peer Electronic Cash System. ( 2008 ).","author":"Satoshi Nakamoto","year":"2008"},{"key":"e_1_3_2_2_20_1","volume-title":"sFuzz: An Eficient Adaptive Fuzzer for Solidity Smart Contracts. arXiv preprint arXiv","author":"Nguyen Tai D","year":"2004"},{"key":"e_1_3_2_2_21_1","unstructured":"Solidity 2018. Solidity. https:\/\/solidity.readthedocs. io\/en\/v0.5.1\/.  Solidity 2018. Solidity. https:\/\/solidity.readthedocs. io\/en\/v0.5.1\/."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3243734.3243780"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"crossref","unstructured":"Mark Utting Alexander Pretschner and Bruno Legeard. 2012. A Taxonomy of Model-Based Testing Approaches. Software testing verification and reliability 22 5 ( 2012 ) 297-312.  Mark Utting Alexander Pretschner and Bruno Legeard. 2012. A Taxonomy of Model-Based Testing Approaches. Software testing verification and reliability 22 5 ( 2012 ) 297-312.","DOI":"10.1002\/stvr.456"},{"key":"e_1_3_2_2_24_1","volume-title":"Oracle-Supported Dynamic Exploit Generation for Smart Contracts. arXiv preprint arXiv","author":"Wang Haijun","year":"1909"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00009"},{"key":"e_1_3_2_2_26_1","first-page":"1","volume-title":"Ethereum: A Secure Decentralised Generalised Transaction Ledger. Ethereum project yellow paper 151 ( 2014 )","author":"Wood Gavin","year":"2014"}],"event":{"name":"ESEC\/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","location":"Virtual Event USA","acronym":"ESEC\/FSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417939","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3368089.3417939","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:01:59Z","timestamp":1750197719000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3368089.3417939"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,7]]},"references-count":26,"alternative-id":["10.1145\/3368089.3417939","10.1145\/3368089"],"URL":"https:\/\/doi.org\/10.1145\/3368089.3417939","relation":{},"subject":[],"published":{"date-parts":[[2020,11,7]]}}}