{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:04:34Z","timestamp":1725501874281},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115706","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T17:03:57Z","timestamp":1511456637000},"page":"925-930","source":"Crossref","is-referenced-by-count":3,"title":["A static analysis tool with optimizations for reachability determination"],"prefix":"10.1109","author":[{"given":"Yuexing","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Min","family":"Zhou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yu","family":"Jiang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaoyu","family":"Song","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ming","family":"Gu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiaguang","family":"Sun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34281-3_23"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.10.004"},{"key":"ref12","first-page":"389","article-title":"Cbmc-c bounded model checker","author":"kroening","year":"2014","journal-title":"International Conference on Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref13","article-title":"Comparing model checking and static program analysis: A case study in error detection approaches","author":"vorobyov","year":"2010","journal-title":"Proc SSVM"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-014-9553-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9293-6"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/988672.988679"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"ref6","article-title":"Data-centered runtime verification of wireless medical cyber-physical system","author":"jiang","year":"2016","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2889160.2889233"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2316234"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2016.7461337"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MSP.2004.111"},{"key":"ref1","first-page":"504","article-title":"Configurable software verification: Concretizing the convergence of model checking and program analysis","author":"dirk","year":"2007","journal-title":"International Conference on Computer Aided Verification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2014.2346171"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2017,10,30]]},"location":"Urbana, IL","end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115706.pdf?arnumber=8115706","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,8]],"date-time":"2018-01-08T17:47:19Z","timestamp":1515433639000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115706\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115706","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}