{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:13:59Z","timestamp":1725642839136},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_2","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T06:44:19Z","timestamp":1323845059000},"page":"26-34","source":"Crossref","is-referenced-by-count":0,"title":["Klassifikation von Software-Testmethoden"],"prefix":"10.1007","author":[{"given":"Jens","family":"Herrmann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Grimm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","volume-title":"Software Testing based on Formal Specifications: a Theory and a Tool","author":"G Bernot","year":"1990","unstructured":"Bernot, G; Gaudel, M.C; Marre, B.: Software Testing based on Formal Specifications: a Theory and a Tool. Rapport de Recherche no. 410, Universit\u00e9 de Paris-Sud, Centre d\u2019Orsay, Laboratoire de Recherche en Informatique, B\u00e2t. 490, 9\/405 Orsay, France, June 1990."},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1109\/TSE.1978.231496","volume":"4","author":"TS Chow","year":"1978","unstructured":"Chow, T.S.: Testing Software Design Modeled by Finite-State Machines. IEEE Transactions on Software Engineering, Vol. 4, No. 3, 1978, S. 178\u2013187.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR3","first-page":"107","volume-title":"Infotech Int. Ltd.: Infotech State of the Art Report on Software Testing","author":"RA DeMillo","year":"1979","unstructured":"DeMillo, R.A.; Lipton, R.J.; Sayward, F.G.: Program Mutation: A New Approach to Program Testing. In Infotech Int. Ltd.: Infotech State of the Art Report on Software Testing, Vol. 2, Infotech International Limited, Maidenhead, England, 1979, S. 107\u2013127."},{"key":"2_CR4","first-page":"179","volume-title":"A Report on Random Testing","author":"JW Duran","year":"1981","unstructured":"Duran, J.W.; Ntafos, S.C.:A Report on Random Testing. Proceedings of the 5th International Conference on Software Engineering, San Diego, March 1981, S. 179\u2013183."},{"key":"2_CR5","unstructured":"Elmendorf, W.R.: Cause-Effect-Graphs in Functional Testing. TR-00.2487, IBM Systems Development Div., Poughkeepsie, New York 1973."},{"key":"2_CR6","unstructured":"Gmeiner, L.: Zur Testfallgenerierung in der Entwurfsphase. Bericht KfK 3538, Kernforschungszentrum Karlsruhe, 1983."},{"issue":"2","key":"2_CR7","doi-asserted-by":"crossref","first-page":"156","DOI":"10.1109\/TSE.1975.6312836","volume":"1","author":"JB Goodenough","year":"1975","unstructured":"Goodenough, J.B.; Gerhart, S.L.: Toward a Theory of Test Data Selection. IEEE Transactions on Software Engineering, Vol. 1, No. 2, 1975, S. 156\u2013173.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"2_CR8","volume-title":"Theory of Testing Computer Programs","author":"JS Gourlay","year":"1981","unstructured":"Gourlay, J.S.: Theory of Testing Computer Programs. Ph.D. Dissertation, University of Michigan, 1981."},{"key":"2_CR9","first-page":"271","volume-title":"Automatisierungstechnische Praxis","author":"K Grimm","year":"1988","unstructured":"Grimm, K.: Methoden und Verfahren zum systematischen Testen von Software. Automatisierungstechnische Praxis, 30, Heft 6, 1988, S. 271\u2013280."},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Harrold, M.J.; Soffa, M.L.: Interprocedural Data Flow Testing. In [Kemmerer 89], S. 158\u2013167.","DOI":"10.1145\/75309.75327"},{"key":"2_CR11","volume-title":"Flow Analysis of Computer Programs","author":"MS Hecht","year":"1977","unstructured":"Hecht, M.S.: Flow Analysis of Computer Programs. North-Holland, New York 1977."},{"key":"2_CR12","volume-title":"Functional Program Testing and Analysis","author":"WE Howden","year":"1987","unstructured":"Howden, W.E.: Functional Program Testing and Analysis. McGraw-Hill Book Company, New York 1987."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Jeng, B; Weyuker, E.J.: Some Observations on Partition Testing. In [Kemmerer 89], S. 38\u201347.","DOI":"10.1145\/75309.75314"},{"volume-title":"Proceedings of the ACM SIGSOFT 89","year":"1989","key":"2_CR14","unstructured":"Kemmerer, R.A. (ed): Proceedings of the ACM SIGSOFT 89 \u2014 3rd Symposium on Software Testing, Analysis, and Verification (TAV3), Key West, Florida, Dec. 13\u201315, 1989."},{"key":"2_CR15","first-page":"42","volume-title":"IEEE Computer","author":"E Miller","year":"1977","unstructured":"Miller, E: Program Testing: Art Meets Theory. IEEE Computer, July 1977, S. 42\u201351."},{"key":"2_CR16","volume-title":"Methodisches Testen von Programmen","author":"GJ Myers","year":"1987","unstructured":"Myers, G.J.: Methodisches Testen von Programmen. 2. Auflage. Oldenbourg Verlag, M\u00fcnchen\/Wien 1987."},{"key":"2_CR17","first-page":"64","volume-title":"Gl-Softwaretechnik-Trends","author":"EH Riedemann","year":"1986","unstructured":"Riedemann, E.H.: PROST-Ein Programmsystem zum Software-Testen. Gl-Softwaretechnik-Trends, Heft 6\u20131, 1986, S. 64\u201368."},{"key":"2_CR18","first-page":"10.3","volume-title":"Software-Entwicklungs-Systeme und \u2014 Werkzeuge","author":"HM Sneed","year":"1987","unstructured":"Sneed, H.M.: Software-Testen \u2014 State of the Art. Software-Entwicklungs-Systeme und \u2014 Werkzeuge. 2. Kolloqium Technische Akademie Esslingen, 8.-10.9.87. Verlag Technische Akademie Esslingen, 1987, S. 10.3\u20131 bis 10.3\u20136."},{"key":"2_CR19","first-page":"540","volume-title":"Methods and Tools for Integration Testing of Large Softwaresystems","author":"A Spillner","year":"1990","unstructured":"Spillner, A.; Herrmann, J.; Franck, R.: Methods and Tools for Integration Testing of Large Softwaresystems. 2nd European Conference on Quality Assurance 1990, EOQC-Software Committee, 30.5.-1.6.90, Oslo, Norwegen, Norwegian Computer Society, 1990, ca. S. 540\u2013554."},{"key":"2_CR20","first-page":"9","volume-title":"OMEGA-A Data Flow Analysis Tool for the C-Programming Language","author":"G Wilson","year":"1982","unstructured":"Wilson, G.; Osterweil, L.: OMEGA-A Data Flow Analysis Tool for the C-Programming Language. Proceedings of the Compsac 1982 \u2014 6th International Computer Software & Applications Conference, 1982, S. 9\u201318."}],"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_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:52:17Z","timestamp":1606413137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_2","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}