{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:59:04Z","timestamp":1729616344826,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/iwast.2012.6228982","type":"proceedings-article","created":{"date-parts":[[2012,7,10]],"date-time":"2012-07-10T17:36:07Z","timestamp":1341941767000},"page":"138-144","source":"Crossref","is-referenced-by-count":0,"title":["All-values symbolic execution"],"prefix":"10.1109","author":[{"given":"Giovanni","family":"Denaro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268950"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_27"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2008.ECP.23"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831733"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025152"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_28"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/193173.195402"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1145\/24039.24041"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1146238.1146243"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.49"},{"key":"1","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"pasareanu","year":"2009","journal-title":"Journal on Software Tools for Technology transfer"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/32.6194"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"6","first-page":"104","article-title":"Lazy annotation for program testing and verification","author":"mcmillan","year":"0","journal-title":"International Conference on Computer Aided Verification 2010"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273478"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/347324.348870"},{"key":"8","first-page":"337","article-title":"Z3: An efficient smt solver","author":"moura","year":"2008","journal-title":"TACAS'08\/ETAPS'08"}],"event":{"name":"2012 7th International Workshop on Automation of Software Test (AST)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich, Switzerland","end":{"date-parts":[[2012,6,3]]}},"container-title":["2012 7th International Workshop on Automation of Software Test (AST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6220303\/6228973\/06228982.pdf?arnumber=6228982","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:11:13Z","timestamp":1497978673000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6228982\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/iwast.2012.6228982","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}