{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T19:03:17Z","timestamp":1762196597356,"version":"build-2065373602"},"reference-count":28,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,7,16]],"date-time":"2025-07-16T00:00:00Z","timestamp":1752624000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,7,16]]},"DOI":"10.1109\/qrs-c65679.2025.00031","type":"proceedings-article","created":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T17:10:04Z","timestamp":1761930604000},"page":"178-187","source":"Crossref","is-referenced-by-count":0,"title":["Solsmith: Solidity Random Program Generator for Compiler Testing"],"prefix":"10.1109","author":[{"given":"Lantian","family":"Li","sequence":"first","affiliation":[{"name":"Shandong University,Qingdao,China"}]},{"given":"Zhihao","family":"Liu","sequence":"additional","affiliation":[{"name":"Shandong University,Qingdao,China"}]},{"given":"Zhongxing","family":"Yu","sequence":"additional","affiliation":[{"name":"Shandong University,Qingdao,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3616342"},{"journal-title":"Mastering ethereum: building smart contracts and dapps","year":"2018","author":"Antonopoulos","key":"ref2"},{"issue":"2014","key":"ref3","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum project yellow paper"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.3390\/electronics12061340"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/SANER56733.2023.00011"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3506800"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/3363562"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295038"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.102"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9619-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2019.110398"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2013.07.004"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3656386"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/2499370.2462173"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3611643.3617850"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-51479-1_17"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-71500-7_14"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1993316.1993532"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2021.24461"},{"issue":"1","key":"ref20","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","journal-title":"Digital Technical Journal"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1295014.1295038"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3597926.3604919"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/3428264"},{"article-title":"using-the-compiler: input-description","year":"2025","author":"Soliditylang","key":"ref24"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/3696630.3728528"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/3519939.3523427"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/3575693.3575707"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/948101.948104"}],"event":{"name":"2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)","start":{"date-parts":[[2025,7,16]]},"location":"Hangzhou, China","end":{"date-parts":[[2025,7,20]]}},"container-title":["2025 25th International Conference on Software Quality, Reliability, and Security Companion (QRS-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11216429\/11216154\/11216506.pdf?arnumber=11216506","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,3]],"date-time":"2025-11-03T18:42:30Z","timestamp":1762195350000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11216506\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,7,16]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/qrs-c65679.2025.00031","relation":{},"subject":[],"published":{"date-parts":[[2025,7,16]]}}}