{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T02:55:21Z","timestamp":1725677721055},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,12]]},"DOI":"10.1109\/ntms.2009.5384761","type":"proceedings-article","created":{"date-parts":[[2010,1,22]],"date-time":"2010-01-22T21:14:24Z","timestamp":1264194864000},"page":"1-5","source":"Crossref","is-referenced-by-count":3,"title":["Mixing Concrete and Symbolic Execution to Improve the Performance of Dynamic Test Generation"],"prefix":"10.1109","author":[{"given":"Gen","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ying","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xicheng","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wei","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1292414.1292416"},{"key":"ref3","article-title":"Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs","author":"cristian cadar","year":"2008","journal-title":"OSDI"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1273442.1250746"},{"key":"ref6","article-title":"Automated whitebox fuzz testing","author":"godefroid","year":"2008","journal-title":"Proc Symp Network and Distributed System Security"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/256167.256225"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065036"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1081706.1081750"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321691"},{"key":"ref7","article-title":"Antfarm: Tracking processes in a virtual machine environment","author":"jones","year":"2006","journal-title":"Proceedings of the USENIX Annual Technical Conference (USENIX 06)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1180405.1180445"},{"key":"ref9","first-page":"38","article-title":"Pathex-pander: Architectural support for increasing the path coverage of dynamic bug detection","author":"lu","year":"0","journal-title":"MICRO 39 Proceedings of the 39th Annual IEEEIACM International Symposium on Microar-chitecture"},{"year":"2007","key":"ref1","article-title":"Rudder: The bitblaze mixed execution component"}],"event":{"name":"2009 3rd International Conference on New Technologies, Mobility and Security (NTMS)","start":{"date-parts":[[2009,12,20]]},"location":"Cairo, Egypt","end":{"date-parts":[[2009,12,23]]}},"container-title":["2009 3rd International Conference on New Technologies, Mobility and Security"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5384533\/5384652\/05384761.pdf?arnumber=5384761","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T20:51:02Z","timestamp":1489870262000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5384761\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/ntms.2009.5384761","relation":{},"subject":[],"published":{"date-parts":[[2009,12]]}}}