{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,13]],"date-time":"2025-11-13T18:23:25Z","timestamp":1763058205136,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,7]]},"DOI":"10.1109\/indin.2018.8471992","type":"proceedings-article","created":{"date-parts":[[2018,10,9]],"date-time":"2018-10-09T02:00:15Z","timestamp":1539050415000},"page":"108-114","source":"Crossref","is-referenced-by-count":28,"title":["No Panic! Verification of Rust Programs by Symbolic Execution"],"prefix":"10.1109","author":[{"given":"Marcus","family":"Lindner","sequence":"first","affiliation":[]},{"given":"Jorge","family":"Aparicius","sequence":"additional","affiliation":[]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/2692956.2663188","article-title":"The rust language","volume":"34","author":"matsakis","year":"2014","journal-title":"ACM SIGAda Ada Letters"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"journal-title":"Design by contract style assertions for rust","year":"2016","key":"ref12"},{"key":"ref13","first-page":"53","article-title":"Multi-solver support in symbolic execution","author":"palikareva","year":"2013","journal-title":"International Conference on Computer-Aided Verification (CAV)"},{"journal-title":"Symbolic execution engine for rust","year":"2017","author":"renshaw","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"journal-title":"Command line helpers for fuzzing","year":"2017","key":"ref16"},{"journal-title":"The Rust Programming Language","year":"2018","key":"ref17"},{"key":"ref4","first-page":"209","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation OSDI’08"},{"journal-title":"The Why3 Platform","year":"2013","author":"bobot","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"journal-title":"Fuzzing rust code with americanfuzzy-lop","year":"2017","key":"ref5"},{"journal-title":"The Rust Programming Language","year":"2017","author":"klabnik","key":"ref8"},{"journal-title":"The Rust Programming Language","year":"2013","author":"hoare","key":"ref7"},{"journal-title":"Verification of Object-Oriented Software The KeY Approach","year":"2007","author":"beckert","key":"ref2"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/978-3-319-12154-3_4","article-title":"The key platform for verification and analysis of java programs","author":"ahrendt","year":"2014","journal-title":"IFIP Working Conference on Verified Software Theories Tools Experiments"},{"journal-title":"A interface for klee on the rust language","year":"2017","author":"loring","key":"ref9"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2018,7,18]]},"location":"Porto","end":{"date-parts":[[2018,7,20]]}},"container-title":["2018 IEEE 16th International Conference on Industrial Informatics (INDIN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8453042\/8471919\/08471992.pdf?arnumber=8471992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,5]],"date-time":"2023-09-05T19:53:21Z","timestamp":1693943601000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8471992\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/indin.2018.8471992","relation":{},"subject":[],"published":{"date-parts":[[2018,7]]}}}