{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:25:00Z","timestamp":1742912700227,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540558606"},{"type":"electronic","value":"9783642777479"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77747-9_1","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T06:44:19Z","timestamp":1323845059000},"page":"1-25","source":"Crossref","is-referenced-by-count":1,"title":["Testen, Analysieren und Verifizieren von Software \u2014 eine klassifizierende \u00dcbersicht der Verfahren"],"prefix":"10.1007","author":[{"given":"Peter","family":"Liggesmeyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","first-page":"244","volume-title":"A Comparison of Data Flow Path Selection Criteria","author":"LA Clarke","year":"1985","unstructured":"Clarke, L.A., Podgurski, A., Richardson, D.J., Zeil, S.J.: A Comparison of Data Flow Path Selection Criteria. In: Proceedings of the 8th International Conference on Software Engineering, 244\u2013251. London 1985"},{"issue":"11","key":"1_CR2","doi-asserted-by":"publisher","first-page":"1318","DOI":"10.1109\/32.41326","volume":"15","author":"LA Clarke","year":"1989","unstructured":"Clarke, L.A., Podgurski, A, Richardson, D.J., Zeil, S.J.: A Formal Evaluation of Data Flow Path Selection Criteria. IEEE Transactions on Software Engineering 15(11), 1318\u20131332 (1989)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR3","volume-title":"Software Engineering Metrics and Models","author":"SD Conte","year":"1986","unstructured":"Conte, S.D., Dunsmore, H.E., Shen V.Y., Software Engineering Metrics and Models. Menlo Park: Benjamin\/Cummings 1986"},{"key":"1_CR4","first-page":"107","volume-title":"Software Testing, Infotech State of the Art Report","author":"RA DeMillo","year":"1979","unstructured":"DeMillo, R.A., Lipton, J.L., Sayward, F.G.: Program mutation: A new approach to program testing. In: Software Testing, Infotech State of the Art Report, Vol.2, 107\u2013128. Maidenhead 1979"},{"key":"1_CR5","first-page":"19","volume-title":"Assigning meanings to Programs","author":"RW Floyd","year":"1967","unstructured":"Floyd, R.W.: Assigning meanings to Programs. In: Proceedings of the American Mathematical Society Symposium in Applied Mathematics 19, 19\u201332. 1967"},{"issue":"3","key":"1_CR6","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1145\/356674.356676","volume":"8","author":"LD Fosdick","year":"1976","unstructured":"Fosdick, L.D., Osterweil, L.J.: Data Flow Analysis in Software Reliability. ACM Computing Surveys 8(3), 305\u2013330 (1976)","journal-title":"ACM Computing Surveys"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-8795-1","volume-title":"Programmentwicklung und Verifikation","author":"G Futschek","year":"1989","unstructured":"Futschek G.: Programmentwicklung und Verifikation. Wien: Springer 1989"},{"issue":"5","key":"1_CR8","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1010914.1010921","volume":"8","author":"KA Foster","year":"1983","unstructured":"Foster, K.A.: Comment on the application of error-sensitive testing strategies to debugging. ACM SIGSOFT Software Engineering Notes 8(5), 40\u201342 (1983)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"issue":"8","key":"1_CR9","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/MC.1979.1658851","volume":"12","author":"C Gannon","year":"1979","unstructured":"Gannon, C.: Error Detection Using Path Testing and Static Analysis. Computer 12(8), 26\u201331 (1979)","journal-title":"Computer"},{"issue":"6","key":"1_CR10","doi-asserted-by":"publisher","first-page":"687","DOI":"10.1145\/62959.62965","volume":"31","author":"D Gelperin","year":"1988","unstructured":"Gelperin, D., Hetzel, B.: The Growth of Software Testing. Communications of the ACM 31(6), 687\u2013695 (1988)","journal-title":"Communications of the ACM"},{"key":"1_CR11","first-page":"64","volume-title":"An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria","author":"MR Girgis","year":"1986","unstructured":"Girgis, M.R., Woodward, M.R.: An Experimental Comparison of the Error Exposing Ability of Program Testing Criteria. In: Proceedings Workshop on Software Testing, 64\u201373. Banff 1986"},{"key":"1_CR12","first-page":"28","volume-title":"Theoretical Comparison of Testing Methods","author":"RG Hamlet","year":"1989","unstructured":"Hamlet, R.G.: Theoretical Comparison of Testing Methods. In: Proceedings of the ACM SIGSOFT \u201989 Third Symposium on Software Testing, Analysis, and Verification (TAV3), 28\u201337, Key West 1989"},{"key":"1_CR13","volume-title":"Elements of Software Science","author":"MH Halstead","year":"1977","unstructured":"Halstead, M.H.: Elements of Software Science. New York: North-Holland 1977"},{"key":"1_CR14","volume-title":"Informatik aktuell (vorliegender Band)","author":"R Haselhorst","year":"1992","unstructured":"Haselhorst, R.: Der Software-Analyse-Baukasten \u2014 Ein Bericht aus der universit\u00e4ren Ausbildung. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"key":"1_CR15","volume-title":"Informatik aktuell (vorliegender Band)","author":"K Hauptmann","year":"1992","unstructured":"Hauptmann, K.: Abnahmetest gro\u00dfer Systeme \u2014 Methoden, Organisation und Werkzeuge. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"key":"1_CR16","volume-title":"Informatik aktuell (vorliegender Band)","author":"J Herrmann","year":"1992","unstructured":"Herrmann, J., Grimm, K.: Klassifikation von Software-Testmethoden. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"10","key":"1_CR17","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10), 576\u2013583 (1969)","journal-title":"Communicationsof the ACM"},{"key":"1_CR18","volume-title":"Zur Verifikation von modular zerlegten Programmen","author":"B Hohlfeld","year":"1988","unstructured":"Hohlfeld, B.: Zur Verifikation von modular zerlegten Programmen. Dissertation, Universit\u00e4t Kaiserslautern, (1988)."},{"issue":"4","key":"1_CR19","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1109\/TSE.1978.231514","volume":"SE-4","author":"WE Howden","year":"1978","unstructured":"Howden, W.E.: Theoretical and Empirical Studies of Program Testing. IEEE Transactions on Software Engineering SE-4(4), 293\u2013298 (1978)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1002\/spe.4380080402","volume":"8","author":"WE Howden","year":"1978","unstructured":"Howden, W.E.: An Evaluation of the Effectiveness of Symbolic Testing. Software \u2014 Practice and Experience 8(4), 381\u2013397 (1978)","journal-title":"Software \u2014 Practice and Experience"},{"key":"1_CR21","first-page":"235","volume-title":"Completeness Criteria for Testing Elementary Program Functions","author":"WE Howden","year":"1981","unstructured":"Howden, W.E.: Completeness Criteria for Testing Elementary Program Functions. In: Proceedings of the 5th International Conference on Software Engineering, 235\u2013243. San Diego 1981"},{"key":"1_CR22","first-page":"101","volume-title":"Tutorial: Software Testing and Validation Techniques","author":"WE Howden","year":"1981","unstructured":"Howden, W.E.: A Survey of static Analysis Methods. In: Tutorial: Software Testing and Validation Techniques, IEEE Computer Society Press, 101\u2013115. New York 1981"},{"issue":"7","key":"1_CR23","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Communications of the ACM 19(7), 385\u2013394 (1976)","journal-title":"Communications of the ACM"},{"key":"1_CR24","volume-title":"Informatik aktuell (vorliegender Band)","author":"R Kneuper","year":"1992","unstructured":"Kneuper, R.: Validation und Verifikation von Software durch symbolische Ausfuhrung. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"3","key":"1_CR25","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1109\/TSE.1983.236871","volume":"SE-9","author":"JW Laski","year":"1983","unstructured":"Laski, J.W., Korel, B.: A Data Flow Oriented Program Testing Strategy. IEEE Transactions on Software Engineering SE-9(3), 347\u2013354 (1983)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR26","volume-title":"Modultest und Modulverifikation \u2014 State of the Art","author":"P Liggesmeyer","year":"1990","unstructured":"Liggesmeyer, P.: Modultest und Modulverifikation \u2014 State of the Art. Mannheim, Wien, Z\u00fcrich: BI Wissenschaftsverlag 1990"},{"key":"1_CR27","first-page":"489","volume-title":"CASE Systeme und Werkzeuge","author":"P Liggesmeyer","year":"1991","unstructured":"Liggesmeyer, P.: TensorC, TensorM, TensorP \u2014 Werkzeuge zur Testunterst\u00fctzung. In: Balzert, H. (ed.): CASE Systeme und Werkzeuge, 489\u2013504. Mannheim, Wien, Z\u00fcrich: BI Wissenschaftsverlag 1991"},{"key":"1_CR28","volume-title":"Informatik aktuell (vorliegender Band)","author":"P Liggesmeyer","year":"1992","unstructured":"Liggesmeyer, P., Dregger, A., Balzert, H.: Ein experimentelles Testsystem f\u00fcr die Sprache HyperTalk. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"4","key":"1_CR29","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1109\/TSE.1976.233837","volume":"SE-2","author":"TJ McCabe","year":"1976","unstructured":"McCabe, T.J.: A Complexity Measure. IEEE Transactions on Software Engineering SE-2(4), 308\u2013320 (1976)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR30","volume-title":"Informatik aktuell (vorliegender Band)","author":"M M\u00fcllerburg","year":"1992","unstructured":"M\u00fcllerburg, M.: Zur Formalisierung von Testkonzepten. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"key":"1_CR31","volume-title":"The Art of Software-Testing","author":"GJ Myers","year":"1979","unstructured":"Myers, G.J.: The Art of Software-Testing, New York: John Wiley & Sons 1979"},{"issue":"6","key":"1_CR32","doi-asserted-by":"publisher","first-page":"795","DOI":"10.1109\/TSE.1984.5010308","volume":"SE-10","author":"SC Ntafos","year":"1984","unstructured":"Ntafos, S.C.: On Required Element Testing. IEEE Transactions on Software Engineering SE-10(6), 795\u2013803 (1984)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"6","key":"1_CR33","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1109\/32.6165","volume":"14","author":"SC Ntafos","year":"1988","unstructured":"Ntafos, S.C.: A Comparison of Some Structural Testing Strategies. IEEE Transactions on Software Engineering 14(6), 868\u2013874 (1988)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR34","first-page":"131","volume-title":"The Coupling Effect: Fact or Fiction?","author":"AJ Offutt","year":"1989","unstructured":"Offutt, A.J.: The Coupling Effect: Fact or Fiction?. In: Proceedings of the ACM SIG-SOFT \u201989 Third Symposium on Software Testing, Analysis, and Verification (TAV3), 131\u2013140, Key West 1989"},{"key":"1_CR35","volume-title":"Informatik aktuell (vorliegender Band)","author":"J Overbeck","year":"1992","unstructured":"Overbeck, J.: Test Activities for Object-Oriented Software Development. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"key":"1_CR36","volume-title":"Informatik aktuell (vorliegender Band)","author":"U Pelkmann","year":"1992","unstructured":"Pelkmann, U.: TESTSCOPE \u2014 Ein Werkzeug f\u00fcr den Modul- und Integrationstest. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"4","key":"1_CR37","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1109\/TSE.1985.232226","volume":"-11","author":"S. Rapps","year":"1985","unstructured":"Rapps, S., Weyuker, E.J.: Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering SE-11(4), 367\u2013375 (1985)","journal-title":"IEEE Transactions on Software Engineering SE"},{"key":"1_CR38","volume-title":"Informatik aktuell (vorliegender Band)","author":"P Schless","year":"1992","unstructured":"Schless, P.: Methoden und Werkzeuge zur Automatisierung des Software-Tests. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"6","key":"1_CR39","first-page":"303","volume":"11","author":"HM Sneed","year":"1988","unstructured":"Sneed, H.M.: Software-Testen. Stand der Technik. Informatik-Spektrum 11(6), 303\u2013311 (1988)","journal-title":"Informatik-Spektrum"},{"key":"1_CR40","volume-title":"Informatik aktuell (vorliegender Band)","author":"HM Sneed","year":"1992","unstructured":"Sneed, H.M.: The Micro Test Integrated Test Environment. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"8","key":"1_CR41","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/MC.1979.1658849","volume":"12","author":"AR Sorkowitz","year":"1979","unstructured":"Sorkowitz, A.R.: Certification Testing: A Procedure to Improve the Quality of Software Testing. Computer 12(8), 20\u201324 (1979)","journal-title":"Computer"},{"issue":"2","key":"1_CR42","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1002\/spe.4380200205","volume":"20","author":"EH Spafford","year":"1990","unstructured":"Spafford, E.H.: Extending Mutation Testing to Find Environmental Bugs. Software \u2014 Practice and Experience 20(2), 181\u2013189 (1990)","journal-title":"Software \u2014 Practice and Experience"},{"key":"1_CR43","volume-title":"Informatik aktuell (vorliegender Band)","author":"A Spillner","year":"1992","unstructured":"Spillner, A.: Testmethoden und Testdatengewinnung f\u00fcr den Integrationstest modularer Softwaresysteme. In: Informatik aktuell (vorliegender Band). Berlin: Springer (1992)"},{"issue":"6","key":"1_CR44","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/70739.70742","volume":"14","author":"SN Weiss","year":"1989","unstructured":"Weiss, S.N.: What To Compare When Comparing Test Data Adequacy Criteria. ACM SIGSOFT Software Engineering Notes 14(6), 42\u201349 (1989)","journal-title":"ACM SIGSOFT Software Engineering Notes"}],"container-title":["Informatik aktuell","Testen, Analysieren und Verifizieren von Software"],"original-title":[],"language":"de","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77747-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,1]],"date-time":"2023-02-01T20:27:32Z","timestamp":1675283252000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_1","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}