{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:14:04Z","timestamp":1725642844805},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558606"},{"type":"electronic","value":"9783642777479"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77747-9_14","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T01:44:19Z","timestamp":1323827059000},"page":"155-167","source":"Crossref","is-referenced-by-count":0,"title":["Validation und Verifikation von Software durch symbolische Ausf\u00fchrung"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Kneuper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"14_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/1006258.1006261","volume":"7","author":"RM Balzer","year":"1982","unstructured":"R.M. Balzer, N.M. Goldman, und D.S. Wile. Operational specification as the basis for rapid prototyping. ACM Sigsoft Software Engineering Notes, 7(5):3\u201316, 1982.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"14_CR2","unstructured":"R.M. Burstall. Program proving as hand simulation with a little induction. In Information Processing \u201974. North-Holland Pubi. Co., 1974."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/BF00289066","volume":"11","author":"D Coleman","year":"1979","unstructured":"D. Coleman und J.W. Hughes. The clean termination of Pascal programs. Acta Informatica, 11: 195\u2013210, 1979.","journal-title":"Acta Informatica"},{"key":"14_CR4","first-page":"17","volume-title":"Symbolic execution of the GIST specification language","author":"D Cohen","year":"1983","unstructured":"Donald. Cohen. Symbolic execution of the GIST specification language. In Proc. 8th Int. Joint Conference on Artificial Intelligence \u201983 (IJCAI-83%) S. 17\u201321, 1983."},{"key":"14_CR5","first-page":"141","volume-title":"Software Validation","author":"LA Clarke","year":"1984","unstructured":"Lori A. Clarke und Debra J. Richardson. Symbolic evaluation \u2014 an aid to testing and verification. In Hans-Ludwig Hausen, Editor, Software Validation, S. 141\u2013166. North-Holland, 1984."},{"issue":"5","key":"14_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1006258.1006263","volume":"7","author":"D Cohen","year":"1982","unstructured":"D. Cohen, W. Swartout, und R. Balzer. Using symbolic execution to characterize behavior. ACM Sigsoft Software Engineering Notes, 7(5):25\u201332, Dezember 1982.","journal-title":"ACM Sigsoft Software Engineering Notes"},{"key":"14_CR7","doi-asserted-by":"publisher","first-page":"233","DOI":"10.2307\/2318447","volume":"80","author":"M Davis","year":"1973","unstructured":"Martin Davis. Hilbert\u2019s tenth problem is unsolvable. American Mathematical Monthly, 80: 233\u2013269, 1973.","journal-title":"American Mathematical Monthly"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"643","DOI":"10.1145\/88616.96551","volume":"12","author":"LK Dillon","year":"1990","unstructured":"Laura K. Dillon. Using symbolic execution for verification of Ada tasking programs. ACM Transactions on Programming Languages and Systems, 12: 643\u2013669, 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"14_CR9","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1145\/356674.356677","volume":"8","author":"LH Sidney","year":"1976","unstructured":"Sidney L. Hantier und James C. King. An introduction to proving the correctness of programs. ACM Computing Surveys, 8(3):331\u2013353, September 1976.","journal-title":"ACM Computing Surveys"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/spe.4380080402","volume":"8","author":"WE Howden","year":"1978","unstructured":"William E. Howden. An evaluation of the effectiveness of symbolic testing. Software \u2014 Practice and Experience, 8: 381\u2013397, 1978.","journal-title":"Software \u2014 Practice and Experience"},{"key":"14_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-3180-9","volume-title":"mural \u2014 A Formal Development Support System","author":"CB Jones","year":"1991","unstructured":"C.B. Jones, K.D. Jones, P.A. Lindsay, und R.C. Moore, mural \u2014 A Formal Development Support System. Springer-Verlag, 1991. With contributions from J. Bicarregui, M. Elvang-Goransson, R. Fields, R. Kneuper, B. Ritchie, A.C. Wills."},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0167-6423(91)90008-L","volume":"16","author":"R Kneuper","year":"1991","unstructured":"Ralf Kneuper. Symbolic execution: a semantic approach. Science of Computer Programming, 16: 207\u2013249, 1991.","journal-title":"Science of Computer Programming"},{"key":"14_CR13","volume-title":"Modultest und Modulverifikation. State of the Art","author":"P Liggesmeyer","year":"1990","unstructured":"Peter Liggesmeyer. Modultest und Modulverifikation. State of the Art. BI Wissenschaftsverlag, 1990."},{"issue":"l","key":"14_CR14","first-page":"25","volume":"6","author":"A Spillner","year":"1986","unstructured":"Andreas Spillner. Aufdeckung von Codesequenzen, die nach Integration dynamisch nicht mehr erreichbar sind. Software-Technik Trends, 6(l):25\u201329, Juni 1986.","journal-title":"Software-Technik Trends"},{"key":"14_CR15","volume-title":"The GIST behavior explainer","author":"WR Swartout","year":"1983","unstructured":"William R. Swartout. The GIST behavior explainer. Research report ISI\/RS-83\u20133, USC\/Information Sciences Institute, Juli 1983."},{"issue":"2","key":"14_CR16","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/69610.357982","volume":"27","author":"P Zave","year":"1984","unstructured":"Pamela Zave. The operational versus the conventional approach to software development. Communications of the ACM, 27(2):104\u2013118, Februar 1984.","journal-title":"Communications of the ACM"}],"container-title":["Informatik aktuell","Testen, Analysieren und Verifizieren von Software"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77747-9_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T12:52:15Z","timestamp":1606395135000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_14","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}