{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:47:56Z","timestamp":1725662876877},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540089346"},{"type":"electronic","value":"9783540357315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1978]]},"DOI":"10.1007\/3-540-08934-9_89","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T11:38:57Z","timestamp":1330169937000},"page":"380-401","source":"Crossref","is-referenced-by-count":0,"title":["A complementary approach to program analysis and testing"],"prefix":"10.1007","author":[{"given":"A.","family":"Endres","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"W.","family":"Glatthaar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"19_CR1","unstructured":"Bauer, F.L.: Variables considered harmful,Tech. Univ. Munich, Report 7513 (1975)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Boehm, B.W. et al: Some experience with automated aids to the design of large-scale reliable software, Proceedings Intern. Conf. on Reliable Software, Los Angeles (1975).","DOI":"10.1145\/800027.808430"},{"key":"19_CR3","unstructured":"Dijkstra, E.W.: Notes on structured programming, Eindhoven Technical University, Report EWD 249 (1969)."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM 18,8 (1975)","DOI":"10.1145\/360933.360975"},{"key":"19_CR5","unstructured":"Endres, A.: An analysis of errors and their causes in system programs, IEEE Transactions on Software Engineering, 1,2 (1975)."},{"key":"19_CR6","volume-title":"Analyse und Verifikation von Programmen","author":"A. Endres","year":"1977","unstructured":"Endres, A.: de Analyse und Verifikation von Programmen, R. Oldenbourg, Munich (1977)"},{"key":"19_CR7","first-page":"2","volume":"1","author":"J.B. Goodenough","year":"1975","unstructured":"Goodenough, J.B. and Gerhart, S.L.: Toward a theory of test data selection, IEEE Transactions on Software Engineering, 1,2 (1975).","journal-title":"IEEE Transactions on Software Engineering"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Goodenough, J.B.: Exeption handling: Issues and a proposed notation, Comm. ACM 18,12 (1975)","DOI":"10.1145\/361227.361230"},{"key":"19_CR9","first-page":"3","volume":"2","author":"W.E. Howden","year":"1976","unstructured":"Howden, W.E.: Reliability of the path analysis testing strategy, IEEE Trans. in Software Engg. 2,3 (1976)","journal-title":"IEEE Trans. in Software Engg."},{"key":"19_CR10","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356651.356652","volume":"7","author":"J.C. Huang","year":"1975","unstructured":"Huang, J.C.: An approach to program testing, ACM Comp. Surveys 7,3 (1975).","journal-title":"ACM Comp. Surveys"},{"key":"19_CR11","volume-title":"A note on CLU","author":"B. H. Liskov","year":"1974","unstructured":"Liskov, B.H.: A note on CLU, MIT Project MAC, Memo 112 (1974)."},{"key":"19_CR12","unstructured":"McCarthy, J.: Towards a mathematical science of computation, Proceedings IFIP Congress, Munich (1962)."},{"key":"19_CR13","unstructured":"Miller, E.F. and Paige, M.R.: Automatic generation of software test cases, Proceedings Eurocomp Conference, Uxbridge (1974)."},{"key":"19_CR14","unstructured":"Miller, E.F.: Program testing: art meets theory,IEEE Computer 9,5 (1977)"},{"key":"19_CR15","unstructured":"Mills, H.D.: Top down programming in large systems, In Debugging Techniques in Large Systems, R.Rustin (ed), New York University (1971)."},{"key":"19_CR16","first-page":"5","volume":"17","author":"B. Wegbreit","year":"1974","unstructured":"Wegbreit, B.: The treatment of data types in EL1, Comm ACM 17,5 (1974).","journal-title":"Comm ACM"},{"key":"19_CR17","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/362575.362577","volume":"14","author":"N. Wirth","year":"1971","unstructured":"Wirth, N.: Program development by stepwise refinement, Comm ACM 14,4 (1971).","journal-title":"Comm ACM"}],"container-title":["Lecture Notes in Computer Science","Information Systems Methodology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-08934-9_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:56:35Z","timestamp":1619542595000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-08934-9_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1978]]},"ISBN":["9783540089346","9783540357315"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-08934-9_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1978]]}}}