{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T15:46:38Z","timestamp":1729611998921,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,5]]},"DOI":"10.1109\/iscas.2011.5937853","type":"proceedings-article","created":{"date-parts":[[2011,7,7]],"date-time":"2011-07-07T13:30:57Z","timestamp":1310045457000},"page":"1475-1478","source":"Crossref","is-referenced-by-count":2,"title":["A heuristic algorithm for reducing system-level test vectors with high branch coverage"],"prefix":"10.1109","author":[{"given":"Koji","family":"Yamazaki","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusuke","family":"Sekihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takashi","family":"Aoki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eiichi","family":"Hosoya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akira","family":"Onozawa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1192","article-title":"CHstone: A Benchmark Program Suite for Practical C-Based High-Level Synthesis","author":"hara","year":"2008","journal-title":"Proceedings of IEEE International Symposium on Circuits and Systems (ISCAS)"},{"year":"0","journal-title":"JEDA Technologies inc JEDAcc","key":"ref11"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1109\/MEMCOD.2010.5558629"},{"key":"ref13","article-title":"KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs","author":"cadar","year":"2008","journal-title":"Proceedings of the USENIX Symposium on Operating Systems Design and Implementation (OSDI'02)"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1109\/ASE.2008.69"},{"doi-asserted-by":"publisher","key":"ref15","DOI":"10.1109\/ISVLSI.2007.31"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/1081706.1081750"},{"doi-asserted-by":"publisher","key":"ref3","DOI":"10.1109\/ICSE.2004.1317455"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1007\/3-540-45937-5_16","article-title":"CIL: Intermediate language and tools for analysis and transformation of C programs","author":"necula","year":"2002","journal-title":"Conference on Compiler Construction (CC)"},{"key":"ref5","first-page":"75","article-title":"A tool for measuring quality of test pattern for LSIs' functional design","author":"aoki","year":"1995","journal-title":"Proceedings of Asia and South Pacific Design Automation Conference (ASP-DAC)"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-1-4615-5139-3"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/11817963_11","article-title":"A Fast Linear-Arithmetic Solver for DPLL(T)","volume":"4144","author":"dutertre","year":"2006","journal-title":"LNCS Computer Aided Verification (CAV)"},{"key":"ref2","article-title":"Abstraction-guided Test Generation: A Case Study","author":"ball","year":"2003","journal-title":"Microsoft Research Tech Rep MSR-TR-2003-86"},{"year":"0","journal-title":"SystemC","key":"ref1"},{"year":"0","author":"minsky","journal-title":"The RSCODE project","key":"ref9"}],"event":{"name":"2011 IEEE International Symposium on Circuits and Systems (ISCAS)","start":{"date-parts":[[2011,5,15]]},"location":"Rio de Janeiro, Brazil","end":{"date-parts":[[2011,5,18]]}},"container-title":["2011 IEEE International Symposium of Circuits and Systems (ISCAS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5910713\/5937406\/05937853.pdf?arnumber=5937853","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T16:41:21Z","timestamp":1560357681000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5937853\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/iscas.2011.5937853","relation":{},"subject":[],"published":{"date-parts":[[2011,5]]}}}