{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:27Z","timestamp":1725662907514},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,4]]},"DOI":"10.1109\/icst.2015.7102590","type":"proceedings-article","created":{"date-parts":[[2015,5,8]],"date-time":"2015-05-08T15:54:04Z","timestamp":1431100444000},"page":"1-10","source":"Crossref","is-referenced-by-count":6,"title":["Generating Succinct Test Cases Using Don't Care Analysis"],"prefix":"10.1109","author":[{"given":"Cuong","family":"Nguyen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiroaki","family":"Yoshida","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mukul","family":"Prasad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indradeep","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606558"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"ref12","first-page":"209","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/382294.382719"},{"key":"ref14","first-page":"502","article-title":"An extensible SAT-solver","author":"een","year":"2003","journal-title":"SAT"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190226"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_61"},{"key":"ref19","first-page":"267","article-title":"Minimization of randomized unit test cases","author":"lei","year":"2005","journal-title":"ISSRE '05"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270315"},{"year":"0","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/1390832.1390840"},{"year":"0","key":"ref3"},{"year":"0","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"},{"year":"0","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71209-1_12"},{"journal-title":"A Bibliography of Papers on Symbolic Execution Technique and Its Applications","year":"2014","author":"alipour","key":"ref7"},{"year":"0","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568293"},{"year":"0","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321698"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/2509136.2509553","article-title":"Steering symbolic execution to less traveled paths","author":"li","year":"2013","journal-title":"OOPSLA '13"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_49"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2001.156196"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134307"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254104"}],"event":{"name":"2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)","start":{"date-parts":[[2015,4,13]]},"location":"Graz, Austria","end":{"date-parts":[[2015,4,17]]}},"container-title":["2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7102553\/7102573\/07102590.pdf?arnumber=7102590","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T11:12:52Z","timestamp":1498216372000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7102590\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icst.2015.7102590","relation":{},"subject":[],"published":{"date-parts":[[2015,4]]}}}