{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T10:04:01Z","timestamp":1767261841549,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,6]]},"DOI":"10.1109\/icse.2012.6227105","type":"proceedings-article","created":{"date-parts":[[2012,7,9]],"date-time":"2012-07-09T17:24:04Z","timestamp":1341854644000},"page":"1143-1152","source":"Crossref","is-referenced-by-count":19,"title":["Industrial application of concolic testing approach: A case study on libexif by using CREST-BV and KLEE"],"prefix":"10.1109","author":[{"given":"Yunho","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Moonzoo","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young Joo","family":"Kim","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoonkyu","family":"Jang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"Z3: An efficient SMT solver","author":"moura","year":"2008","journal-title":"TACAS"},{"journal-title":"CREST-BV A Concolic Testing Tool for C Programs with Bit-vector Support","year":"2012","author":"kim","key":"17"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.119"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.114"},{"journal-title":"JEITA","year":"0","key":"13"},{"key":"14","first-page":"2012","article-title":"Concolic testing of the multisector read operation for flash storage platform software","volume":"24","author":"kim","year":"0","journal-title":"FACJ"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.109"},{"key":"12","article-title":"jFuzz: A concolic whitebox fuzzer for Java","author":"jayaraman","year":"2009","journal-title":"NFM"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100152"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390635"},{"key":"23","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10009-009-0118-1","article-title":"A survey of new trends in symbolic execution for software testing and analysis","volume":"11","author":"pasareanu","year":"2009","journal-title":"STTT"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1791212.1791235"},{"key":"25","article-title":"CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools","author":"sen","year":"2006","journal-title":"CAV"},{"key":"26","doi-asserted-by":"crossref","DOI":"10.1145\/1081706.1081750","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"ESEC\/FSE"},{"journal-title":"SMT-LIB The Satisfiability Modulo Theories Library","year":"0","key":"27"},{"key":"28","article-title":"Parameterized unit tests","author":"tillmann","year":"2005","journal-title":"ESEC\/FSE"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1646353.1646374"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1390630.1390662"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"journal-title":"The Libexif C EXIF Library","year":"0","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1145\/1572272.1572288"},{"journal-title":"Exchangeable Image File Format for Digital Still Cameras Exif","year":"0","key":"6"},{"key":"5","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_52"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1273463.1273484"}],"event":{"name":"2012 34th International Conference on Software Engineering (ICSE 2012)","start":{"date-parts":[[2012,6,2]]},"location":"Zurich","end":{"date-parts":[[2012,6,9]]}},"container-title":["2012 34th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6218989\/6227015\/06227105.pdf?arnumber=6227105","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T17:08:11Z","timestamp":1497978491000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6227105\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/icse.2012.6227105","relation":{},"subject":[],"published":{"date-parts":[[2012,6]]}}}