{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:15:46Z","timestamp":1766733346189,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T00:00:00Z","timestamp":1572566400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1109\/ase.2019.00136","type":"proceedings-article","created":{"date-parts":[[2020,1,10]],"date-time":"2020-01-10T01:49:01Z","timestamp":1578620941000},"page":"1198-1201","source":"Crossref","is-referenced-by-count":52,"title":["MuSC: A Tool for Mutation Testing of Ethereum Smart Contract"],"prefix":"10.1109","author":[{"given":"Zixin","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haoran","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiehui","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xingya","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lingming","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenyu","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3133916"},{"key":"ref11","first-page":"19","article-title":"Practical program repair via bytecode mutation","author":"ghanbari","year":"2019","journal-title":"ISSTA"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2010.66"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2931037.2948707"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2016.07.002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635929"},{"journal-title":"Solidity docs","year":"2019","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.23"},{"key":"ref18","article-title":"Mutation testing for ethereum smart contract","author":"wu","year":"2019","journal-title":"arXiv 1908 03707"},{"journal-title":"Truffle a development environment testing framework and asset pipeline for Ethereum","year":"2019","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1504\/IJWGS.2018.095647"},{"journal-title":"A Next Generation Smart Contract and Decentralized Application Platform Ethereum white Paper","year":"2014","author":"buterin","key":"ref3"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/bs.adcom.2018.03.015","article-title":"Mutation testing advances: An analysis and survey","volume":"112","author":"papadakis","year":"2019","journal-title":"Advances in Computers"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SANER.2019.8668020"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2509136.2509551"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2010.5609672"},{"journal-title":"White Paper Library","year":"2019","key":"ref2"},{"journal-title":"Bitcoin A Peer-to-Peer Electronic Cash System","year":"2008","author":"nakamoto","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1509"},{"journal-title":"solidity-parser-antlr a solidity parser built on top of a robust antlr4 grammar","year":"2019","key":"ref20"}],"event":{"name":"2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2019,11,11]]},"location":"San Diego, CA, USA","end":{"date-parts":[[2019,11,15]]}},"container-title":["2019 34th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx7\/8949433\/8952167\/08952206.pdf?arnumber=8952206","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,18]],"date-time":"2022-07-18T15:30:45Z","timestamp":1658158245000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/ieeexplore.ieee.org\/document\/8952206\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,11]]},"references-count":20,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/ase.2019.00136","relation":{},"subject":[],"published":{"date-parts":[[2019,11]]}}}