{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T16:23:59Z","timestamp":1764174239900},"reference-count":7,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/gcce.2015.7398613","type":"proceedings-article","created":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T16:59:12Z","timestamp":1454605152000},"page":"76-80","source":"Crossref","is-referenced-by-count":1,"title":["Distributed CFG-based symbolic execution for assembly programs"],"prefix":"10.1109","author":[{"given":"Takumi","family":"Adachi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Satoshi","family":"Yamane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kohei","family":"Sakurai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"351","article-title":"Software Verification Using k-Induction","author":"donaldson","year":"2011","journal-title":"LNCS 6877"},{"key":"ref3","article-title":"IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution","author":"wang","year":"2009","journal-title":"NDSS Symposium"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"ref7","first-page":"993","article-title":"A Linear Time (L,)-Edge-Partition Algorithm for Connected Graphs and Fault-Tolerant Routings for-Edge-Connected Graphs","author":"wada","year":"1992","journal-title":"Trans IEICE J75-DI 11"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"ref1","first-page":"396","article-title":"Unbounded Symbolic Execution for Program Verification","author":"jaffar","year":"2011","journal-title":"LNCS 7186"}],"event":{"name":"2015 IEEE 4th Global Conference on Consumer Electronics (GCCE)","start":{"date-parts":[[2015,10,27]]},"location":"Osaka, Japan","end":{"date-parts":[[2015,10,30]]}},"container-title":["2015 IEEE 4th Global Conference on Consumer Electronics (GCCE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7378181\/7398473\/07398613.pdf?arnumber=7398613","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T21:32:38Z","timestamp":1490045558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7398613\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":7,"URL":"https:\/\/doi.org\/10.1109\/gcce.2015.7398613","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}