{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,17]],"date-time":"2026-03-17T18:55:35Z","timestamp":1773773735310,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,22]],"date-time":"2011-10-22T00:00:00Z","timestamp":1319241600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,10,22]]},"DOI":"10.1145\/2048066.2048080","type":"proceedings-article","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T08:23:06Z","timestamp":1319530986000},"page":"139-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Integrated language definition testing"],"prefix":"10.1145","author":[{"given":"Lennart C.L.","family":"Kats","sequence":"first","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rob","family":"Vermaas","sequence":"additional","affiliation":[{"name":"LogicBlox, Atlanta, GA, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eelco","family":"Visser","sequence":"additional","affiliation":[{"name":"Delft University of Technology, Delft, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Test-driven development: by example","author":"Beck K.","year":"2003","unstructured":"K. Beck . Test-driven development: by example . Addison-Wesley Professional , 2003 . K. Beck. Test-driven development: by example. Addison-Wesley Professional, 2003."},{"key":"e_1_3_2_1_2_1","volume-title":"Software testing techniques","author":"Beizer B.","year":"2002","unstructured":"B. Beizer . Software testing techniques . Dreamtech Press , 2002 . B. Beizer. Software testing techniques. Dreamtech Press, 2002."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(97)00017-7"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v38:12"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.11.003"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028976.1029007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640104"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12107-4_16"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380250606"},{"key":"e_1_3_2_1_11_1","volume-title":"Modeling Symposium","author":"Efftinge S.","year":"2006","unstructured":"S. Efftinge and M. V\u00f6lter . oAW xText - a framework for textual DSLs . In Modeling Symposium , Eclipse Summit , 2006 . S. Efftinge and M. V\u00f6lter. oAW xText - a framework for textual DSLs. In Modeling Symposium, Eclipse Summit, 2006."},{"key":"e_1_3_2_1_12_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/3-540-45672-4_31","volume-title":"Extreme Programming and Agile Methods - XP\/Agile Universe","author":"Fowler M.","year":"2002","unstructured":"M. Fowler . Refactoring: Improving the design of existing code . In D. Wells and L. A. Williams, editors, Extreme Programming and Agile Methods - XP\/Agile Universe 2002 , Second XP Universe and First Agile Universe Conference , volume 2418 of LNCS , page 256 . Springer, 2002. M. Fowler. Refactoring: Improving the design of existing code. In D. Wells and L. A. Williams, editors, Extreme Programming and Agile Methods - XP\/Agile Universe 2002, Second XP Universe and First Agile Universe Conference, volume 2418 of LNCS, page 256. Springer, 2002."},{"key":"e_1_3_2_1_13_1","volume-title":"Language workbenches: The killer-app for domain specific languages? http:\/\/martinfowler.com\/articles\/languageWorkbench.html","author":"Fowler M.","year":"2005","unstructured":"M. Fowler . Language workbenches: The killer-app for domain specific languages? http:\/\/martinfowler.com\/articles\/languageWorkbench.html , 2005 . M. Fowler. Language workbenches: The killer-app for domain specific languages? http:\/\/martinfowler.com\/articles\/languageWorkbench.html, 2005."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1121341.1121372"},{"issue":"7","key":"e_1_3_2_1_15_1","first-page":"37","article-title":"Test infected: Programmers love writing tests","volume":"3","author":"Gamma E.","year":"1998","unstructured":"E. Gamma and K. Beck . Test infected: Programmers love writing tests . Java Report , 3 ( 7 ): 37 -- 50 , 1998 . E. Gamma and K. Beck. Test infected: Programmers love writing tests. Java Report, 3(7):37--50, 1998.","journal-title":"Java Report"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/800004.807929"},{"key":"e_1_3_2_1_17_1","unstructured":"gUnit - grammar unit testing. http:\/\/www.antlr.org\/wiki\/display\/ANTLR3\/gUnit+-+Grammar+ Unit+Testing.  gUnit - grammar unit testing. http:\/\/www.antlr.org\/wiki\/display\/ANTLR3\/gUnit+-+Grammar+ Unit+Testing."},{"key":"e_1_3_2_1_18_1","first-page":"341","volume-title":"SEKE 2001","author":"G\u00f3mez R.","year":"2001","unstructured":"R. G\u00f3mez , J. C. Augusto , and A. Galton . Testing an event specification language. In Software Engineering & Knowledge Engineering , SEKE 2001 , pages 341 -- 345 , 2001 . R. G\u00f3mez, J. C. Augusto, and A. Galton. Testing an event specification language. In Software Engineering & Knowledge Engineering, SEKE 2001, pages 341--345, 2001."},{"key":"e_1_3_2_1_19_1","volume-title":"chapter","author":"Hamill P.","year":"2004","unstructured":"P. Hamill . Unit Test Frameworks , chapter . Chapter 3: The xUnit Family of Unit Test Frameworks. O'Reilly , 2004 . P. Hamill. Unit Test Frameworks, chapter. Chapter 3: The xUnit Family of Unit Test Frameworks. O'Reilly, 2004."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048121"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/551789.853532"},{"key":"e_1_3_2_1_22_1","unstructured":"Jacks (Jacks is an Automated Compiler Killing Suite). http:\/\/sources.redhat.com\/mauve\/jacks. html.  Jacks (Jacks is an Automated Compiler Killing Suite). http:\/\/sources.redhat.com\/mauve\/jacks. html."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640122"},{"key":"e_1_3_2_1_24_1","volume-title":"SLE 2010","author":"Kats L. C. L.","year":"2011","unstructured":"L. C. L. Kats , K. T. Kalleberg , and E. Visser . Interactive disambiguation of meta programs with concrete object syntax. In M. van den Brand, B. Malloy, and S. Staab, editors, Software Language Engineering , SLE 2010 , LNCS. Springer , 2011 . L. C. L. Kats, K. T. Kalleberg, and E. Visser. Interactive disambiguation of meta programs with concrete object syntax. In M. van den Brand, B. Malloy, and S. Staab, editors, Software Language Engineering, SLE 2010, LNCS. Springer, 2011."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869535"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11086-005-0008-6"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"H.\n      Krahn B.\n      Rumpe and \n      S.\n      V\u00f6lkel\n  . \n  Monticore: Modular development of textual domain specific languages\n  . In R. F. Paige and B. Meyer editors Objects Components Models\n   and Patterns TOOLS EUROPE \n  2008 volume \n  11\n   of \n  Lecture Notes in Business Information Processing pages \n  297\n  --\n  315\n  . \n  Springer 2008.  H. Krahn B. Rumpe and S. V\u00f6lkel. Monticore: Modular development of textual domain specific languages. In R. F. Paige and B. Meyer editors Objects Components Models and Patterns TOOLS EUROPE 2008 volume 11 of Lecture Notes in Business Information Processing pages 297--315. Springer 2008.","DOI":"10.1007\/978-3-540-69824-1_17"},{"key":"e_1_3_2_1_29_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/3-540-45314-8_15","volume-title":"Fundamental Approaches to Software Engineering, FASE","author":"L\u00e4mmel R.","year":"2001","unstructured":"R. L\u00e4mmel . Grammar testing . In H. Hu\u00dfmann, editor, Fundamental Approaches to Software Engineering, FASE 2001 , volume 2029 of LNCS , pages 201 -- 216 . Springer , 2001. R. L\u00e4mmel. Grammar testing. In H. Hu\u00dfmann, editor, Fundamental Approaches to Software Engineering, FASE 2001, volume 2029 of LNCS, pages 201--216. Springer, 2001."},{"key":"e_1_3_2_1_30_1","volume-title":"SAICSIT '02: 2002 research conference of the South African institute of computer scientists and information technologists on Enablement through technology","author":"Malloy B. A.","year":"2002","unstructured":"B. A. Malloy , J. F. Power , and J. T. Waldron . Applying software engineering techniques to parser design: the development of a C# parser . In SAICSIT '02: 2002 research conference of the South African institute of computer scientists and information technologists on Enablement through technology . South African Institute for Computer Scientists and Information Technologists , 2002 . B. A. Malloy, J. F. Power, and J. T. Waldron. Applying software engineering techniques to parser design: the development of a C# parser. In SAICSIT '02: 2002 research conference of the South African institute of computer scientists and information technologists on Enablement through technology. South African Institute for Computer Scientists and Information Technologists, 2002."},{"key":"e_1_3_2_1_31_1","volume-title":"G. Myers. The art of software testing","year":"2008","unstructured":"G. Myers. The art of software testing , 2 nd edition. WileyIndia , 2008 . G. Myers. The art of software testing, 2nd edition. WileyIndia, 2008.","edition":"2"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"crossref","DOI":"10.1109\/9780470187562","volume-title":"Software Engineering: Barry W. Boehm's Lifetime Contributions to Software Development, Management, and Research","author":"Selby R. W.","year":"2007","unstructured":"R. W. Selby , editor. Software Engineering: Barry W. Boehm's Lifetime Contributions to Software Development, Management, and Research . Wiley-Computer Society Press , 2007 . R. W. Selby, editor. Software Engineering: Barry W. Boehm's Lifetime Contributions to Software Development, Management, and Research. Wiley-Computer Society Press, 2007."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v39:15"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1391956.1391958"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88643-3_7"},{"key":"e_1_3_2_1_37_1","volume-title":"SLE 2010","author":"Voelter M.","year":"2010","unstructured":"M. Voelter and K. Solomatov . Language modularization and composition with projectional language workbenches illustrated with MPS. In M. van den Brand, B. Malloy, and S. Staab, editors, Software Language Engineering , SLE 2010 , LNCS. Springer , 2010 . M. Voelter and K. Solomatov. Language modularization and composition with projectional language workbenches illustrated with MPS. In M. van den Brand, B. Malloy, and S. Staab, editors, Software Language Engineering, SLE 2010, LNCS. Springer, 2010."},{"key":"e_1_3_2_1_38_1","volume-title":"Pascal compiler validation","author":"Wichmann B.","year":"1983","unstructured":"B. Wichmann and Z. Ciechanowicz . Pascal compiler validation . John Wiley & Sons, Inc. New York, NY, USA , 1983 . B. Wichmann and Z. Ciechanowicz. Pascal compiler validation. John Wiley & Sons, Inc. New York, NY, USA, 1983."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.v38:10"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993532"}],"event":{"name":"SPLASH '11: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Portland Oregon USA","acronym":"SPLASH '11","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048080","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2048066.2048080","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:31Z","timestamp":1750225711000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2048066.2048080"}},"subtitle":["enabling test-driven language development"],"short-title":[],"issued":{"date-parts":[[2011,10,22]]},"references-count":39,"alternative-id":["10.1145\/2048066.2048080","10.1145\/2048066"],"URL":"https:\/\/doi.org\/10.1145\/2048066.2048080","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2076021.2048080","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2011,10,22]]},"assertion":[{"value":"2011-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}