{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:31:23Z","timestamp":1725528683107},"reference-count":5,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1109\/idt.2015.7396755","type":"proceedings-article","created":{"date-parts":[[2016,2,4]],"date-time":"2016-02-04T16:56:52Z","timestamp":1454605012000},"page":"149-150","source":"Crossref","is-referenced-by-count":0,"title":["Automatic test pattern generation for virtual hardware model using constrained symbolic execution"],"prefix":"10.1109","author":[{"given":"Nahla","family":"Mohamed","sequence":"first","affiliation":[]},{"given":"Mona","family":"Safari","sequence":"additional","affiliation":[]},{"given":"Ayman","family":"Wahba","sequence":"additional","affiliation":[]},{"given":"Ashraf","family":"Salem","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"2013","key":"ref4","article-title":"Symbolic execution"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2014.7001323"},{"key":"ref5","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)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2013.6691136"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2013.44"}],"event":{"name":"2015 10th International Design & Test Symposium (IDT)","start":{"date-parts":[[2015,12,14]]},"location":"Dead Sea, Amman, Jordan","end":{"date-parts":[[2015,12,16]]}},"container-title":["2015 10th International Design & Test Symposium (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7383418\/7396715\/07396755.pdf?arnumber=7396755","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T08:35:16Z","timestamp":1490085316000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7396755\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12]]},"references-count":5,"URL":"https:\/\/doi.org\/10.1109\/idt.2015.7396755","relation":{},"subject":[],"published":{"date-parts":[[2015,12]]}}}