{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:27:14Z","timestamp":1725564434336},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540208945"},{"type":"electronic","value":"9783540246176"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-24617-6_3","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T11:26:17Z","timestamp":1283685977000},"page":"30-41","source":"Crossref","is-referenced-by-count":3,"title":["Using a Software Testing Technique to Improve Theorem Proving"],"prefix":"10.1007","author":[{"given":"Reiner","family":"H\u00e4hnle","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Angela","family":"Wallenburg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"publisher","first-page":"236","DOI":"10.1109\/TSE.1980.234485","volume":"6","author":"E.J. Weyuker","year":"1980","unstructured":"Weyuker, E.J., Ostrand, T.J.: Theories of Program Testing and the Application of Revealing Subdomains. IEEE Transactions on Software Engineering\u00a06, 236\u2013246 (1980)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"1402","DOI":"10.1109\/32.62448","volume":"16","author":"D. Hamlet","year":"1990","unstructured":"Hamlet, D., Taylor, R.: Partition Testing Does Not Inspire Confidence. IEEE Transactions on Software Engineering\u00a016, 1402\u20131411 (1990)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR3","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"1","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B., Gerhart, S.L.: Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering\u00a01, 156\u2013173 (1975)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1109\/TSE.1976.233816","volume":"2","author":"W.E. Howden","year":"1976","unstructured":"Howden, W.E.: Reliability of the Path Analysis Testing Strategy. IEEE Transactions on Software Engineering\u00a02, 208\u2013215 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"1477","DOI":"10.1109\/TSE.1985.231892","volume":"11","author":"D. Richardson","year":"1985","unstructured":"Richardson, D., Clarke, L.: Partition Analysis: A Method Combining Testing andVerification. IEEE Transactions on Software Engineering\u00a011, 1477\u20131490 (1985)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/3-540-45923-5_23","volume-title":"Fundamental Approaches to Software Engineering","author":"W. Ahrendt","year":"2002","unstructured":"Ahrendt, W., Baar, T., Beckert, B., Giese, M., H\u00e4hnle, R., Menzel, W., Mostowski, W., Schmitt, P.H.: The KeY system: Integrating object-oriented design and formal methods. In: Kutsche, R.D., Weber, H. (eds.) FASE 2002. LNCS, vol.\u00a02306, pp. 327\u2013330. Springer, Heidelberg (2002)"},{"key":"3_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2516.001.0001","volume-title":"Dynamic Logic","author":"D. Harel","year":"2000","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press, Cambridge (2000)"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/3-540-45165-X_2","volume-title":"Java on Smart Cards: Programming and Security","author":"B. Beckert","year":"2001","unstructured":"Beckert, B.: A dynamic logic for the formal verification of Java Card programs. In: Attali, I., Jensen, T. (eds.) JavaCard 2000. LNCS, vol.\u00a02041, pp. 6\u201324. Springer, Heidelberg (2001)"},{"key":"3_CR9","unstructured":"Burstall, R.M.: Program proving as hand simulation with a little induction. In: Rosenfeld, J.L. (ed.) Proceedings of IFIP Congress 1974, Information Processing 1974, pp. 201\u2013210 (1974)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"306","DOI":"10.1007\/3-540-16780-3_99","volume-title":"8th International Conference on Automated Deduction","author":"R. H\u00e4hnle","year":"1986","unstructured":"H\u00e4hnle, R., Heisel, M., Reif, W., Stephan, W.: An interactive verification system based on dynamic logic. In: Siekmann, J.H. (ed.) CADE 1986. LNCS, vol.\u00a0230, pp. 306\u2013315. Springer, Heidelberg (1986)"},{"key":"3_CR11","series-title":"Informatik Fachberichte","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/978-3-642-73005-4_22","volume-title":"Proc. 11th German Workshop on Artifical Intelligence","author":"M. Heisel","year":"1987","unstructured":"Heisel, M., Reif, W., Stephan, W.: Program verification by symbolic execution and induction. In: Proc. 11th German Workshop on Artifical Intelligence. Informatik Fachberichte, vol.\u00a0152, pp. 201\u2013210. Springer, Heidelberg (1987)"},{"key":"3_CR12","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1145\/359488.359495","volume":"21","author":"M.M. Geller","year":"1978","unstructured":"Geller, M.M.: Test data as an aid in proving program correctness. Communications of the ACM\u00a021, 368\u2013375 (1978)","journal-title":"Communications of the ACM"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1145\/566172.566213","volume-title":"Proceedings of the international symposium on Software testing and analysis","author":"J.W. Nimmer","year":"2002","unstructured":"Nimmer, J.W., Ernst, M.D.: Automatic generation of program specifications. In: Proceedings of the international symposium on Software testing and analysis, pp. 229\u2013239. ACM Press, New York (2002)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BFb0028400","volume-title":"Theorem Proving in Higher Order Logics","author":"K. Slind","year":"1997","unstructured":"Slind, K.: Derivation and use of induction schemes in higher-order logic. In: Gunter, E.L., Felty, A.P. (eds.) TPHOLs 1997. LNCS, vol.\u00a01275, pp. 275\u2013290. Springer, Heidelberg (1997)"},{"key":"3_CR15","unstructured":"Claessen, K., H\u00e4hnle, R., M\u00e5rtensson, J.: Verification of hardware systems with first-order logic. In: Sutcliffe, G., Pelletier, J., Suttner, C., eds.: Proc. Problems and Problem Sets Workshop, affiliated to CADE-18, Copenhagen, DIKU, University of Copenhagen, Denmark, Technical Report (2002)"}],"container-title":["Lecture Notes in Computer Science","Formal Approaches to Software Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24617-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:29:59Z","timestamp":1558301399000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24617-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540208945","9783540246176"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24617-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}