{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,9]],"date-time":"2025-09-09T21:12:02Z","timestamp":1757452322544},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642288296"},{"type":"electronic","value":"9783642288302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-28830-2_18","type":"book-chapter","created":{"date-parts":[[2012,4,24]],"date-time":"2012-04-24T21:36:49Z","timestamp":1335303409000},"page":"324-343","source":"Crossref","is-referenced-by-count":10,"title":["Comparison of Context-Free Grammars Based on Parsing Generated Test Data"],"prefix":"10.1007","author":[{"given":"Bernd","family":"Fischer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vadim","family":"Zaytsev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/1473195.1473196","volume":"40","author":"A.V. Aho","year":"2008","unstructured":"Aho, A.V.: Teaching the Compilers Course. SIGCSE Bull.\u00a040, 6\u20138 (2008)","journal-title":"SIGCSE Bull."},{"key":"18_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-14808-8_6","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2010","author":"H.J.S. Basten","year":"2010","unstructured":"Basten, H.J.S.: Tracking Down the Origins of Ambiguity in Context-Free Grammars. In: Cavalcanti, A., Deharbe, D., Gaudel, M.-C., Woodcock, J. (eds.) ICTAC 2010. LNCS, vol.\u00a06255, pp. 76\u201390. Springer, Heidelberg (2010)"},{"issue":"2","key":"18_CR3","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.4370040204","volume":"4","author":"C.J. Burgess","year":"1994","unstructured":"Burgess, C.J.: The Automated Generation of Test Cases for Compilers. Software Testing, Verification and Reliability\u00a04(2), 81\u201399 (1994)","journal-title":"Software Testing, Verification and Reliability"},{"key":"18_CR4","unstructured":"Gosling, J., Joy, B., Steele, G.L., Bracha, G.: The Java Language Specification, 3rd edn. Addison-Wesley (2005), all versions of the JLS are available at \n                  \n                    http:\/\/java.sun.com\/docs\/books\/jls"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Griswold, W.G.: Teaching Software Engineering in a Compiler Project Course. Journal on Educational Resources in Computing\u00a02 (December 2002)","DOI":"10.1145\/949257.949260"},{"key":"18_CR6","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional Approximation Coverage. Informatica\u00a024(3) (2000)"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/s10664-008-9067-7","volume":"13","author":"M. Hennessy","year":"2008","unstructured":"Hennessy, M., Power, J.F.: Analysing the Effectiveness of Rule-coverage as a Reduction Criterion for Test Suites of Grammar-based Software. Empirical Software Engineering\u00a013, 343\u2013368 (2008)","journal-title":"Empirical Software Engineering"},{"key":"18_CR8","doi-asserted-by":"publisher","first-page":"2369","DOI":"10.1016\/j.jss.2010.07.048","volume":"83","author":"D. Hoffman","year":"2010","unstructured":"Hoffman, D., Wang, H.Y., Chang, M., Ly-Gagnon, D., Sobotkiewicz, L., Strooper, P.: Two Case Studies in Grammar-based Test Generation. Journal of Systems and Software\u00a083, 2369\u20132378 (2010)","journal-title":"Journal of Systems and Software"},{"key":"18_CR9","unstructured":"IBM Corporation: VS COBOL II Application Programming Language Reference, 4th edn. (1993), Publication number GC26-4047-07"},{"key":"18_CR10","unstructured":"Kastens, U.: Studie zur Erzeugung von Testprogrammen f\u00fcr \u00dcbersetzer. Bericht 12\/80, Institut f\u00fcr Informatik\u00a0II, University Karlsruhe (1980)"},{"key":"18_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-642-18023-1_6","volume-title":"Generative and Transformational Techniques in Software Engineering III","author":"P. Klint","year":"2011","unstructured":"Klint, P., van der Storm, T., Vinju, J.: EASY Meta-Programming with Rascal. In: Fernandes, J.M., L\u00e4mmel, R., Visser, J., Saraiva, J. (eds.) GTTSE 2009. LNCS, vol.\u00a06491, pp. 222\u2013289. Springer, Heidelberg (2011)"},{"key":"18_CR12","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s11086-005-0008-6","volume":"31","author":"A.S. Kossatchev","year":"2005","unstructured":"Kossatchev, A.S., Posypkin, M.A.: Survey of Compiler Testing Methods. Programming and Computing Software\u00a031, 10\u201319 (2005)","journal-title":"Programming and Computing Software"},{"key":"18_CR13","unstructured":"L\u00e4mmel, R., Verhoef, C.: VS COBOL II grammar Version 1.0.4 (1999), \n                  \n                    http:\/\/www.cs.vu.nl\/grammarware\/browsable\/vs-cobol-ii\/"},{"key":"18_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume-title":"Fundamental Approaches to Software Engineering","author":"R. L\u00e4mmel","year":"2001","unstructured":"L\u00e4mmel, R.: Grammar Testing. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol.\u00a02029, pp. 201\u2013216. Springer, Heidelberg (2001)"},{"key":"18_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/11754008_2","volume-title":"Testing of Communicating Systems","author":"R. L\u00e4mmel","year":"2006","unstructured":"L\u00e4mmel, R., Schulte, W.: Controllable Combinatorial Coverage in Grammar-Based Testing. In: Uyar, M.\u00dc., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol.\u00a03964, pp. 19\u201338. Springer, Heidelberg (2006)"},{"key":"18_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-642-00255-7_17","volume-title":"Integrated Formal Methods","author":"R. L\u00e4mmel","year":"2009","unstructured":"L\u00e4mmel, R., Zaytsev, V.: An Introduction to Grammar Convergence. In: Leuschel, M., Wehrheim, H. (eds.) IFM 2009. LNCS, vol.\u00a05423, pp. 246\u2013260. Springer, Heidelberg (2009)"},{"issue":"2","key":"18_CR17","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s11219-010-9116-5","volume":"19","author":"R. L\u00e4mmel","year":"2011","unstructured":"L\u00e4mmel, R., Zaytsev, V.: Recovering Grammar Relationships for the Java Language Specification. Software Quality Journal\u00a019(2), 333\u2013378 (2011)","journal-title":"Software Quality Journal"},{"key":"18_CR18","unstructured":"Malloy, B.A., Power, J.F.: An Interpretation of Purdom\u2019s Algorithm for Automatic Generation of Test Cases. In: 1st Annual International Conference on Computer and Information Science, pp. 3\u20135 (2001)"},{"issue":"4","key":"18_CR19","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/52.56422","volume":"7","author":"P. Maurer","year":"1990","unstructured":"Maurer, P.: Generating Test Data with Enhanced Context-free Grammars. IEEE Software\u00a07(4), 50\u201356 (1990)","journal-title":"IEEE Software"},{"issue":"1","key":"18_CR20","first-page":"100","volume":"10","author":"W.M. McKeeman","year":"1998","unstructured":"McKeeman, W.M.: Differential Testing for Software. Digital Technical Journal of Digital Equipment Corporation\u00a010(1), 100\u2013107 (1998)","journal-title":"Digital Technical Journal of Digital Equipment Corporation"},{"key":"18_CR21","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1002\/smr.293","volume":"16","author":"J.F. Power","year":"2004","unstructured":"Power, J.F., Malloy, B.A.: A Metrics Suite for Grammar-based Software. Journal of Software Maintenance and Evolution: Research and Practice\u00a016, 405\u2013426 (2004)","journal-title":"Journal of Software Maintenance and Evolution: Research and Practice"},{"issue":"3","key":"18_CR22","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/BF01932308","volume":"12","author":"P. Purdom","year":"1972","unstructured":"Purdom, P.: A Sentence Generator for Testing Parsers. BIT\u00a012(3), 366\u2013375 (1972)","journal-title":"BIT"},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-642-12107-4_20","volume-title":"Software Language Engineering","author":"L. Renggli","year":"2010","unstructured":"Renggli, L., Denker, M., Nierstrasz, O.: Language Boxes: Bending the Host Language with Modular Language Changes. In: van den Brand, M., Ga\u0161evi\u0107, D., Gray, J. (eds.) SLE 2009. LNCS, vol.\u00a05969, pp. 274\u2013293. Springer, Heidelberg (2010)"},{"key":"18_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-78791-4_1","volume-title":"Compiler Construction","author":"M.I. Schwartzbach","year":"2008","unstructured":"Schwartzbach, M.I.: Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. In: Hendren, L. (ed.) CC 2008. LNCS, vol.\u00a04959, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"18_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/331963.331965","volume":"35","author":"E.G. Sirer","year":"1999","unstructured":"Sirer, E.G., Bershad, B.N.: Using Production Grammars in Software Testing. SIGPLAN Notices\u00a035, 1\u201313 (1999)","journal-title":"SIGPLAN Notices"},{"key":"18_CR26","unstructured":"Sloane, A.M., Kats, L.C.L., Visser, E.: A Pure Object-Oriented Embedding of Attribute Grammars. In: Ekman, T., Vinju, J. (eds.) Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications (LDTA 2009). Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers (2009)"},{"key":"18_CR27","doi-asserted-by":"crossref","unstructured":"Waite, W.M.: The Compiler Course in Today\u2019s Curriculum: Three Strategies. In: Proceedings of the 37th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2006, pp. 87\u201391. ACM (2006)","DOI":"10.1145\/1121341.1121371"},{"key":"18_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1007\/978-3-540-73589-2_27","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"E. Wyk Van","year":"2007","unstructured":"Van Wyk, E., Krishnan, L., Bodin, D., Schwerdfeger, A.: Attribute Grammar-Based Language Extensions for Java. In: Bateni, M. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 575\u2013599. Springer, Heidelberg (2007)"},{"key":"18_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/11759744_13","volume-title":"Formal Approaches to Software Testing","author":"S. Zelenov","year":"2006","unstructured":"Zelenov, S., Zelenova, S.: Automated Generation of Positive and Negative Tests for Parsers. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol.\u00a03997, pp. 187\u2013202. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","Software Language Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-28830-2_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:12:49Z","timestamp":1620126769000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-28830-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642288296","9783642288302"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-28830-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}