{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:56:20Z","timestamp":1776333380287,"version":"3.51.2"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319024431","type":"print"},{"value":"9783319024448","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-319-02444-8_15","type":"book-chapter","created":{"date-parts":[[2013,8,29]],"date-time":"2013-08-29T01:11:21Z","timestamp":1377738681000},"page":"193-207","source":"Crossref","is-referenced-by-count":11,"title":["Compact Symbolic Execution"],"prefix":"10.1007","author":[{"given":"Jiri","family":"Slaby","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Strej\u010dek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marek","family":"Trt\u00edk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1007\/978-3-540-78800-3_28","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Anand","year":"2008","unstructured":"Anand, S., Godefroid, P., Tillmann, N.: Demand-driven compositional symbolic execution. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 367\u2013381. Springer, Heidelberg (2008)"},{"key":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"594","DOI":"10.1007\/978-3-642-36742-7_43","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D. Beyer","year":"2013","unstructured":"Beyer, D.: Second competition on software verification. In: Piterman, N., Smolka, S.A. (eds.) TACAS 2013 (ETAPS 2013). LNCS, vol.\u00a07795, pp. 594\u2013609. Springer, Heidelberg (2013)"},{"key":"15_CR3","unstructured":"bugst, \n                    \n                      http:\/\/sourceforge.net\/projects\/bugst"},{"key":"15_CR4","unstructured":"clang, \n                    \n                      http:\/\/clang.llvm.org"},{"key":"15_CR5","unstructured":"LLVM, \n                    \n                      http:\/\/llvm.org"},{"key":"15_CR6","unstructured":"Z3, \n                    \n                      http:\/\/z3.codeplex.com"},{"key":"15_CR7","unstructured":"Cadar, C., Dunbar, D., Engler, D.: KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: OSDI, pp. 209\u2013224. USENIX Association (2008)"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Cadar, C., Ganesh, V., Pawlowski, P.M., Dill, D.L., Engler, D.R.: EXE: Automatically generating inputs of death. In: CCS, pp. 322\u2013335. ACM (2006)","DOI":"10.1145\/1180405.1180445"},{"issue":"3","key":"15_CR9","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/s10515-011-0089-9","volume":"19","author":"X. Deng","year":"2012","unstructured":"Deng, X., Lee, J., Robby: Efficient and formal generalized symbolic execution. Autom. Softw. Eng.\u00a019(3), 233\u2013301 (2012)","journal-title":"Autom. Softw. Eng."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Compositional dynamic test generation. In: POPL, pp. 47\u201354. ACM (2007)","DOI":"10.1145\/1190215.1190226"},{"key":"15_CR11","unstructured":"Godefroid, P., Levin, M.Y., Molnar, D.A.: Automated whitebox fuzz testing. In: NDSS, pp. 151\u2013166. The Internet Society (2008)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Luchaup, D.: Automatic partial loop summarization in dynamic test generation. In: ISSTA, pp. 23\u201333. ACM (2011)","DOI":"10.1145\/2001420.2001424"},{"key":"15_CR13","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1109\/TSE.1977.231144","volume":"3","author":"W.E. Howden","year":"1977","unstructured":"Howden, W.E.: Symbolic testing and the DISSECT symbolic evaluation system. IEEE Trans. Software Eng.\u00a03, 266\u2013278 (1977)","journal-title":"IEEE Trans. Software Eng."},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"553","DOI":"10.1007\/3-540-36577-X_40","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"S. Khurshid","year":"2003","unstructured":"Khurshid, S., P\u0103s\u0103reanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) TACAS 2003. LNCS, vol.\u00a02619, pp. 553\u2013568. Springer, Heidelberg (2003)"},{"issue":"1","key":"15_CR15","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1145\/1108768.1108817","volume":"31","author":"Sarfraz Khurshid","year":"2006","unstructured":"Khurshid, S., Suen, Y.L.: Generalizing symbolic execution to library classes. In: PASTE, pp. 103\u2013110. ACM (2005)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"7","key":"15_CR16","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"J.C. King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Qi, D., Nguyen, H.D.T., Roychoudhury, A.: Path exploration based on symbolic output. In: ESEC\/FSE, pp. 278\u2013288. ACM (2011)","DOI":"10.1145\/2025113.2025152"},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"Santelices, R.A., Harrold, M.J.: Exploiting program dependencies for scalable multiple-path symbolic execution. In: ISSTA, pp. 195\u2013206. ACM (2010)","DOI":"10.1145\/1831708.1831733"},{"key":"15_CR19","doi-asserted-by":"crossref","unstructured":"Saxena, P., Poosankam, P., McCamant, S., Song, D.: Loop-extended symbolic execution on binary programs. In: ISSTA, pp. 225\u2013236. ACM (2009)","DOI":"10.21236\/ADA538843"},{"key":"15_CR20","unstructured":"Slaby, J., Strej\u010dek, J., Trt\u00edk, M.: Compact Symbolic Execution. CoRR, abs\/1201.4715 (2012), \n                    \n                      http:\/\/arxiv.org\/abs\/1201.4715\n                    \n                    \n                   Full version of the ATVA 2013 paper"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Strej\u010dek, J., Trt\u00edk, M.: Abstracting path conditions. In: ISSTA, pp. 155\u2013165. ACM (2012)","DOI":"10.1145\/2338965.2336772"},{"key":"15_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013white box test generation for.NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-02444-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,16]],"date-time":"2019-05-16T20:22:05Z","timestamp":1558038125000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-02444-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319024431","9783319024448"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-02444-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}