{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:14:16Z","timestamp":1725642856673},"publisher-location":"Berlin, Heidelberg","reference-count":10,"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":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-3-642-77747-9_3","type":"book-chapter","created":{"date-parts":[[2011,12,14]],"date-time":"2011-12-14T01:44:19Z","timestamp":1323827059000},"page":"35-44","source":"Crossref","is-referenced-by-count":0,"title":["Zur Formalisierung von Testkonzepten"],"prefix":"10.1007","author":[{"given":"Monika","family":"M\u00fcllerburg","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1049\/sej.1990.0011","volume":"5","author":"R Bache","year":"1990","unstructured":"Bache, R. und M\u00fcllerburg, M. Measures of Testability as a Basis for Quality Assurance. IEE\/BCS Software Engineering Journal, 5(2):86\u201392, March 1990.","journal-title":"IEE\/BCS Software Engineering Journal"},{"key":"3_CR2","volume-title":"Methods and Tools for Integration Testing of Large Software Systems","author":"R Franck","year":"1990","unstructured":"Franck, R., Sp\u00fclner, A. und Herrmann, J. Methods and Tools for Integration Testing of Large Software Systems. In Proc. 2nd European Conference on Software Quality. European Organisation for Quality Control (EOQC), 1990."},{"key":"3_CR3","doi-asserted-by":"crossref","unstructured":"Harrold, M.J. und Soffa, M.L. Selecting and Unsing Data for Integration Testing. IEEE Software, pages 58\u201385, March 1991.","DOI":"10.1109\/52.73750"},{"key":"3_CR4","volume-title":"Modultest und Modulverifikation-State of the Art","author":"P Liggesmeyer","year":"1990","unstructured":"Liggesmeyer, P. Modultest und Modulverifikation-State of the Art. BI-Wissenschaftsverlag, Mannheim, Wien, Zurich, 1990."},{"key":"3_CR5","first-page":"707","volume-title":"Test Data Selection Criteria for (Software) Integration Testing","author":"U Linnenkugel","year":"1990","unstructured":"Linnenkugel, U. und M\u00fcllerburg, M. Test Data Selection Criteria for (Software) Integration Testing. In Proc. of The First International Conference on Systems Integration, pages 707\u2013717. IEEE, April 1990."},{"key":"3_CR6","first-page":"290","volume-title":"Revised version of the paper On Fundamentals of Program Testing","author":"M M\u00fcllerburg","year":"1988","unstructured":"M\u00fcllerburg, M, Fundamental concepts of software testing, 1989. Revised version of the paper On Fundamentals of Program Testing., in Proc. of the 1st European Seminar on Software Quality, European Organisation for Quality Control (EOQC), 1988, 290\u2013305."},{"key":"3_CR7","volume-title":"Software Testing: A Stepwise Process","author":"M M\u00fcllerburg","year":"1990","unstructured":"M\u00fcllerburg, M, Software Testing: A Stepwise Process. In Proc. of the 2nd European Conference on Software Quality. European Organisation for Quality Control (EOQC), 1990."},{"key":"3_CR8","volume-title":"Proc. of EUROMETRICS 91, pages 369-379. EC2","author":"M M\u00fcllerburg","year":"1991","unstructured":"M\u00fcllerburg, M., Meyerhoff, D. und Flacke, S. Enhancing Accessability of Metrics Knowledge. In Proc. of EUROMETRICS 91, pages 369\u2013379. EC2, 1991."},{"key":"3_CR9","first-page":"246","volume-title":"Results and Progress of ESPRIT Projects","author":"M M\u00fcllerburg","year":"1991","unstructured":"M\u00fcllerburg, M., Meyerhoff, D., and Flacke, S., Supporting Software Measurement: The METKIT CAI System. In Results and Progress of ESPRIT Projects, pages 246\u2013261. Commission of the European Communities, 1991."},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Prath er, R.E. On hierarchical software metrics. Software Engineering Journal, pages 42\u201345, March 1987.","DOI":"10.1049\/sej.1987.0006"}],"container-title":["Informatik aktuell","Testen, Analysieren und Verifizieren von Software"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-77747-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T05:51:57Z","timestamp":1558158717000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-77747-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540558606","9783642777479"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-77747-9_3","relation":{},"ISSN":["1431-472X"],"issn-type":[{"type":"print","value":"1431-472X"}],"subject":[],"published":{"date-parts":[[1992]]}}}