{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,30]],"date-time":"2026-05-30T04:42:28Z","timestamp":1780116148350,"version":"3.54.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":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jorge","family":"Aparicius","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Per","family":"Lindgren","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"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"},{"key":"ref12","year":"2016","journal-title":"Design by contract style assertions for rust"},{"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)"},{"key":"ref14","author":"renshaw","year":"2017","journal-title":"Symbolic execution engine for rust"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"ref16","year":"2017","journal-title":"Command line helpers for fuzzing"},{"key":"ref17","year":"2018","journal-title":"The Rust Programming Language"},{"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"},{"key":"ref3","author":"bobot","year":"2013","journal-title":"The Why3 Platform"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref5","year":"2017","journal-title":"Fuzzing rust code with americanfuzzy-lop"},{"key":"ref8","author":"klabnik","year":"2017","journal-title":"The Rust Programming Language"},{"key":"ref7","author":"hoare","year":"2013","journal-title":"The Rust Programming Language"},{"key":"ref2","author":"beckert","year":"2007","journal-title":"Verification of Object-Oriented Software The KeY Approach"},{"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"},{"key":"ref9","author":"loring","year":"2017","journal-title":"A interface for klee on the rust language"}],"event":{"name":"2018 IEEE 16th International Conference on Industrial Informatics (INDIN)","location":"Porto","start":{"date-parts":[[2018,7,18]]},"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]]}}}