{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:25:13Z","timestamp":1759332313967},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691471"},{"type":"electronic","value":"9783540691495"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-69149-5_59","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T12:07:43Z","timestamp":1218542863000},"page":"539-544","source":"Crossref","is-referenced-by-count":5,"title":["Constraint Solving and Symbolic Execution"],"prefix":"10.1007","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"59_CR1","doi-asserted-by":"crossref","unstructured":"Boyer, R.S., Elspas, B., Levitt, K.N.: SELECT \u2013 A formal system for testing and debugging programs by symbolic execution. In: Proc. of the Int. conf. on Reliable Software, pp. 234\u2013245 (1975)","DOI":"10.1145\/800027.808445"},{"key":"59_CR2","doi-asserted-by":"publisher","first-page":"775","DOI":"10.1002\/(SICI)1097-024X(200006)30:7<775::AID-SPE309>3.0.CO;2-H","volume":"30","author":"W.R. Bush","year":"2000","unstructured":"Bush, W.R., Pincus, J.D., Sielaff, D.J.: A static analyzer for finding dynamic programming errors. Software \u2013 Practice And Experience\u00a030, 775\u2013802 (2000)","journal-title":"Software \u2013 Practice And Experience"},{"key":"59_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., et al.: The ASTR\u00c9E analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"issue":"3","key":"59_CR4","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1145\/1066100.1066102","volume":"52","author":"D. Detlefs","year":"2005","unstructured":"Detlefs, D., Nelson, G., Saxe, J.B.: Simplify: A theorem prover for program checking. J. ACM\u00a052(3), 365\u2013473 (2005)","journal-title":"J. ACM"},{"key":"59_CR5","doi-asserted-by":"crossref","unstructured":"Flanagan, C., Leino, K.R.M., Lillibridge, M., Nelson, G., Saxe, J.B., Stata, R.: Extended static checking for Java. In: Proc. of the ACM SIGPLAN Conf. on Programming Language Design and Implementation (PLDI), pp. 234\u2013245 (2002)","DOI":"10.1145\/512529.512558"},{"key":"59_CR6","unstructured":"Hoare, C.A.R.: Assertions in modern software engineering practice, Keynote address. In: 26th Int\u2019l Computer Software and Applications Conf (COMPSAC), Oxford, England (August 2002)"},{"issue":"1","key":"59_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/602382.602403","volume":"50","author":"T. Hoare","year":"2003","unstructured":"Hoare, T.: The verifying compiler: A grand challenge for computing research. J. of the ACM\u00a050(1), 63\u201369 (2003)","journal-title":"J. of the ACM"},{"issue":"7","key":"59_CR8","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 testing. Comm. of the ACM\u00a019(7), 385\u2013394 (1976)","journal-title":"Comm. of the ACM"},{"key":"59_CR9","first-page":"205","volume-title":"Encyclopedia of Artificial Intelligence","author":"A.K. Mackworth","year":"1990","unstructured":"Mackworth, A.K.: Constraint satisfaction. In: Shapiro, S.C. (ed.) Encyclopedia of Artificial Intelligence, vol.\u00a01, pp. 205\u2013211. John Wiley, New York (1990)"},{"key":"59_CR10","unstructured":"Zhang, J.: Symbolic execution of program paths involving pointer and structure variables. In: Proc. of the 4th Int\u2019l Conf. on Quality Software (QSIC), pp. 87\u201392 (2004)"},{"issue":"2","key":"59_CR11","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1142\/S0218194001000487","volume":"11","author":"J. Zhang","year":"2001","unstructured":"Zhang, J., Wang, X.: A constraint solver and its application to path feasibility analysis. of Software Engineering and Knowledge Engineering\u00a011(2), 139\u2013156 (2001)","journal-title":"of Software Engineering and Knowledge Engineering"},{"key":"59_CR12","unstructured":"Zhang, J., Xu, C., Wang, X.: Path-oriented test data generation using symbolic execution and constraint solving techniques. In: Proc. 2nd Int\u2019l Conf. on Software Engineering and Formal Methods (SEFM), pp. 242\u2013250 (2004)"},{"key":"59_CR13","doi-asserted-by":"crossref","unstructured":"Zitser, M., Lippmann, R., Leek, T.: Testing static analysis tools using exploitable buffer overflows from open source code. In: Proc. of the 12th ACM SIGSOFT Int\u2019l Symp. on Foundations of Software Engineering, pp. 97\u2013106 (2004)","DOI":"10.1145\/1029894.1029911"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69149-5_59","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,2]],"date-time":"2019-03-02T07:38:52Z","timestamp":1551512332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69149-5_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540691471","9783540691495"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69149-5_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}