{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:07:08Z","timestamp":1769749628522,"version":"3.49.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,5]]},"DOI":"10.1109\/icse.2013.6606559","type":"proceedings-article","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T18:38:03Z","timestamp":1380652683000},"page":"132-141","source":"Crossref","is-referenced-by-count":19,"title":["Feedback-directed unit test generation for C\/C++ using concolic execution"],"prefix":"10.1109","author":[{"given":"Pranav","family":"Garg","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franjo","family":"Ivancic","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gogul","family":"Balakrishnan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoto","family":"Maeda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Aarti","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2010.5558629"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1137\/S0036142995281504"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831710"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1145\/1966445.1966463"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706309"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.114"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250746"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2008.109"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22655-7_27"},{"key":"12","article-title":"Modeling and analyzing the interaction of C and C++ strings","volume":"7421","author":"balakrishnan","year":"2011","journal-title":"FoVeOOS Ser LNCS"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.69"},{"key":"22","article-title":"Testing container classes: Random or systematic","author":"sharma","year":"2011","journal-title":"FASE"},{"key":"23","first-page":"81","article-title":"A fast linear-arithmetic solver for dpll(t)","volume":"4144","author":"dutertre","year":"2006","journal-title":"CAV Ser LNCS"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806874"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100046"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001463"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227145"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001425"},{"key":"3","article-title":"KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cadar","year":"2008","journal-title":"OSDI'10 USENIX Association"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"10","first-page":"144","article-title":"Object model construction for multiple inheritance in C++ and its applications to program analysis","volume":"7120","author":"yang","year":"2012","journal-title":"CC Ser LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.91"},{"key":"6","first-page":"359","article-title":"CORAL: Solving complex constraints for symbolic pathfinder","author":"souza","year":"2011","journal-title":"NASA Formal Methods Ser LNCS 6617"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTE.2010.5608866"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.40"},{"key":"31","first-page":"365","article-title":"Symstra: A framework for generating object-oriented unit tests using symbolic execution","author":"xie","year":"2005","journal-title":"TACAS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"9","article-title":"CIL: Intermediate language and tools for analysis and transformation of C programs","author":"necula","year":"2002","journal-title":"CC"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1007512.1007526"}],"event":{"name":"2013 35th International Conference on Software Engineering (ICSE)","location":"San Francisco, CA, USA","start":{"date-parts":[[2013,5,18]]},"end":{"date-parts":[[2013,5,26]]}},"container-title":["2013 35th International Conference on Software Engineering (ICSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6596173\/6606539\/06606559.pdf?arnumber=6606559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T02:05:22Z","timestamp":1490234722000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6606559\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/icse.2013.6606559","relation":{},"subject":[],"published":{"date-parts":[[2013,5]]}}}