{"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":1725642839138},"publisher-location":"Berlin, Heidelberg","reference-count":5,"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_16","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T06:44:19Z","timestamp":1323845059000},"page":"177-186","source":"Crossref","is-referenced-by-count":0,"title":["Ein experimentelles Testsystem f\u00fcr die Sprache HyperTalk"],"prefix":"10.1007","author":[{"given":"Peter","family":"Liggesmeyer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Dregger","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helmut","family":"Balzert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Dregger, A.: Konzeption und Realisierung eines Testwerkzeuges f\u00fcr die Ermittlung der Meldungs-\u00dcberdeckung von HyperCard-Anwendungen, Lehrstuhl f\u00fcr Software-Technik, Ruhr-Universit\u00e4t Bochum, Studienarbeit 90\/1"},{"key":"16_CR2","volume-title":"The complete HyperCard Handbook","author":"D Goodman","year":"1987","unstructured":"Goodman, D.: The complete HyperCard Handbook. New York: Bantam Books 1987"},{"key":"16_CR3","first-page":"158","volume-title":"Soffa M., Interprocedural Data Flow Testing","author":"M Harrold","year":"1989","unstructured":"Harrold, M.: Soffa M., Interprocedural Data Flow Testing, in: Proceedings of the ACM SIGSOFT \u201989 Third Symposium on Software Testing, Analysis, and Verification (TAV 3), 158\u2013167, Key West 1989"},{"key":"16_CR4","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":"16_CR5","volume-title":"Dynamischer Integrationstest modularer Softwaresysteme","author":"A Spillner","year":"1990","unstructured":"Spillner, A.: Dynamischer Integrationstest modularer Softwaresysteme. Dissertation, Universit\u00e4t Bremen, (1990)"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T17:52:16Z","timestamp":1606413136000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_16","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}