{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,8]],"date-time":"2026-10-08T11:35:12Z","timestamp":1791459312001,"version":"4.3.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540418634","type":"print"},{"value":"9783540453147","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45314-8_15","type":"book-chapter","created":{"date-parts":[[2007,11,13]],"date-time":"2007-11-13T12:01:23Z","timestamp":1194955283000},"page":"201-216","source":"Crossref","is-referenced-by-count":56,"title":["Grammar Testing"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,3,23]]},"reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1147\/sj.223.0229","volume":"22","author":"D. L. Bird","year":"1983","unstructured":"D. L. Bird and C. U. Munoz. Automatic generation of random self-checking test cases. IBM Systems Journal, 22(3):229\u2013245, 1983.","journal-title":"IBM Systems Journal"},{"issue":"10","key":"15_CR2","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/0950-5849(94)90020-5","volume":"36","author":"A. Boujarwah","year":"1994","unstructured":"A. Boujarwah and K. Saleh. Compiler test suite: evaluation and use in an automated test environment. Information and Software Technology, 36(10):607\u2013614, 1994.","journal-title":"Information and Software Technology"},{"key":"15_CR3","unstructured":"M. Brand, M. Sellink, and C. Verhoef. Current parsing techniques in software renovation considered harmful. In S. Tilley and G. Visaggio, editors, Proceedings of the sixth International Workshop on Program Comprehension, pages 108\u2013117, 1998."},{"issue":"2","key":"15_CR4","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.4370040204","volume":"4","author":"C. J. Burgess","year":"1994","unstructured":"C. J. Burgess. The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability, 4(2):81\u201399, jun 1994.","journal-title":"Software Testing, Verification and Reliability"},{"key":"15_CR5","series-title":"Lect Notes Comput Sci","volume-title":"Proc. of GCSE 2000","author":"M. Jonge de","year":"2001","unstructured":"M. de Jonge and J. Visser. Grammars as Contracts. In Proc. of GCSE 2000, LNCS, Erfurt, Germany, 2001. Springer-Verlag. to appear."},{"key":"15_CR6","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/BFb0019399","volume-title":"Automated and Algorithmic Debugging, First International Workshop, AADEBUG\u201993","author":"G. Ferrand","year":"1993","unstructured":"G. Ferrand. The Notions of Symptom and Error in Declarative Diagnosis of Logic Programs. In P. Fritzon, editor, Automated and Algorithmic Debugging, First International Workshop, AADEBUG\u201993, volume 749 of Lecture Notes in Computer Science, pages 40\u201357. Springer-Verlag, 3-5 May 1993."},{"key":"15_CR7","unstructured":"J. Harm and R. Lammel. Two-dimensional Approximation Coverage. Informatica, 24(3), 2000."},{"issue":"11","key":"15_CR8","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/71605.71607","volume":"24","author":"J. Heering","year":"1989","unstructured":"J. Heering, P. R. H. Hendriks, P. Klint, and J. Rekers. The syntax definition formalism SDF \u2014 Reference manual. SIGPLAN Notices, 24(11):43\u201375, 1989.","journal-title":"SIGPLAN Notices"},{"issue":"4","key":"15_CR9","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.1982.235571","volume":"8","author":"W. E. Howden","year":"1982","unstructured":"W. E. Howden. Weak mutation testing and completeness of test sets. IEEE Transactions on Software Engineering, 8(4):371\u2013379, July 1982.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR10","unstructured":"IBM Corporation. VS COBOL II Application Programming Language Reference, 1993. Release 4, Document number GC26-4047-07."},{"key":"15_CR11","unstructured":"R. Lammel and C. Verhoef. VS COBOL II Grammar Version 1.0.3. http:\/\/www.cwi.nl\/~ralf\/grammars , 1999-2001."},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"R. Lammel and C. Verhoef. Semi-automatic Grammar Recovery. Submitted, available at http:\/\/www.cwi.nl\/~ralf\/ , July 2000.","DOI":"10.1002\/spe.423"},{"issue":"3","key":"15_CR13","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"P. Purdom. A sentence generator for testing parsers. BIT, 12(3):366\u2013375, 1972.","journal-title":"BIT"},{"key":"15_CR14","unstructured":"J. Rekers. Parser Generation for Interactive Environments. PhD thesis, University of Amsterdam, 1992."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"M. Sellink and C. Verhoef. Development, assessment, and reengineering of language descriptions. In J. Ebert and C. Verhoef, editors, Proceedings of the Fourth European Conference on Software Maintenance and Reengineering, pages 151\u2013160. IEEE Computer Society, March 2000.","DOI":"10.1109\/CSMR.2000.827323"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45314-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T06:10:32Z","timestamp":1556950232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45314-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540418634","9783540453147"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-45314-8_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001]]}}}