{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T00:21:23Z","timestamp":1743034883497,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642111440"},{"type":"electronic","value":"9783642111457"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-11145-7_16","type":"book-chapter","created":{"date-parts":[[2010,1,13]],"date-time":"2010-01-13T03:23:04Z","timestamp":1263352984000},"page":"198-210","source":"Crossref","is-referenced-by-count":0,"title":["Architecture- and OS-Independent Binary-Level Dynamic Test Generation"],"prefix":"10.1007","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":"297","reference":[{"issue":"4","key":"16_CR1","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"D.F. Bacon","year":"1994","unstructured":"Bacon, D.F., Graham, S.L., Sharp, O.J.: Compiler transformations for high-performance computing. ACM Comput. Surv.\u00a026(4), 345\u2013420 (1994)","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"crossref","unstructured":"Bhansali, S., Chen, W., de Jong, S., Edwards, A., Murray, R., Drini, M., Mihoka, D., Chau, J.: Framework for instruction-level tracing and analysis of program executions. In: Proceedings of the 2nd international conference on Virtual execution environments, vol.\u00a014, pp. 154\u2013163 (2006)","key":"16_CR2","DOI":"10.1145\/1134760.1220164"},{"key":"16_CR3","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1145\/1180405.1180445","volume-title":"CCS 2006: Proceedings of the 13th ACM conference on Computer and communications security","author":"C. Cadar","year":"2006","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: Exe: automatically generating inputs of death. In: CCS 2006: Proceedings of the 13th ACM conference on Computer and communications security, pp. 322\u2013335. ACM Press, New York (2006)"},{"unstructured":"Cristian Cadar, D.E., Dunbar, D.: Klee: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, San Diego, CA, USA (December 2008)","key":"16_CR4"},{"key":"16_CR5","first-page":"1","volume-title":"RT 07: Proceedings of the 2nd international workshop on Random testing","author":"P. Godefroid","year":"2007","unstructured":"Godefroid, P.: Random testing for security: blackbox vs. whitebox fuzzing. In: RT 2007: Proceedings of the 2nd international workshop on Random testing, p. 1. ACM, New York (2007)"},{"issue":"6","key":"16_CR6","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/1064978.1065036","volume":"40","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: Dart: Directed automated random testing. ACM SIGPLAN notices\u00a040(6), 213\u2013223 (2005)","journal-title":"ACM SIGPLAN notices"},{"unstructured":"Godefroid, P., Levin, M., Molnar, D.: Automated whitebox fuzz testing. In: Proceedings of the Network and Distributed System Security Symposium (2008)","key":"16_CR7"},{"unstructured":"Jones, S., Arpaci-Dusseau, A., Arpaci-Dusseau, R.: Antfarm: Tracking processes in a virtual machine environment. In: Proceedings of the USENIX Annual Technical Conference, USENIX 2006 (2006)","key":"16_CR8"},{"key":"16_CR9","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1145\/1321631.1321691","volume-title":"ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering","author":"K. Ku","year":"2007","unstructured":"Ku, K., Hart, T.E., Chechik, M., Lie, D.: A buffer overflow benchmark for software model checkers. In: ASE 2007: Proceedings of the twenty-second IEEE\/ACM international conference on Automated software engineering, pp. 389\u2013392. ACM Press, New York (2007)"},{"key":"16_CR10","first-page":"38","volume-title":"MICRO 39: Proceedings of the 39th Annual IEEE\/ACM International Symposium on Microarchitecture","author":"S. Lu","year":"2006","unstructured":"Lu, S., Zhou, P., Liu, W., Zhou, Y., Torrellas, J.: Pathexpander: Architectural support for increasing the path coverage of dynamic bug detection. In: MICRO 39: Proceedings of the 39th Annual IEEE\/ACM International Symposium on Microarchitecture, Washington, DC, USA, pp. 38\u201352. IEEE Computer Society Press, Los Alamitos (2006)"},{"unstructured":"Molnar, D., Li, X., Wagner, D.: Dynamic test generation to find integer bugs in x86 binary linux programs","key":"16_CR11"},{"issue":"6","key":"16_CR12","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1145\/1273442.1250746","volume":"42","author":"N. Nethercote","year":"2007","unstructured":"Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. SIGPLAN Not.\u00a042(6), 89\u2013100 (2007)","journal-title":"SIGPLAN Not."},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"492","DOI":"10.1145\/256167.256225","volume":"19","author":"N. Ramsey","year":"1997","unstructured":"Ramsey, N., Fern\u00e1ndez, M.F.: Specifying representations of machine instructions. ACM Trans. Program. Lang. Syst.\u00a019(3), 492\u2013524 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"16_CR14","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1145\/1081706.1081750","volume-title":"ESEC\/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: Cute: a concolic unit testing engine for c. In: ESEC\/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 263\u2013272. ACM Press, New York (2005)"}],"container-title":["Lecture Notes in Computer Science","Information and Communications Security"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11145-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,25]],"date-time":"2019-08-25T20:12:57Z","timestamp":1566763977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11145-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642111440","9783642111457"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11145-7_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}