{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T14:40:07Z","timestamp":1746369607357,"version":"3.40.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319112442"},{"type":"electronic","value":"9783319112459"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-319-11245-9_19","type":"book-chapter","created":{"date-parts":[[2014,9,6]],"date-time":"2014-09-06T08:35:11Z","timestamp":1409992511000},"page":"342-351","source":"Crossref","is-referenced-by-count":7,"title":["Test-Data Generation for Xtext"],"prefix":"10.1007","author":[{"given":"Johannes","family":"H\u00e4rtel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"H\u00e4rtel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ralf","family":"L\u00e4mmel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","unstructured":"Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, Turku Centre for CS (2003)"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: An algorithm and a tool. In: ISSRE, pp. 85\u201394. IEEE (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"issue":"2","key":"19_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":"19_CR4","unstructured":"Burgue\u00f1o, L., Wimmer, M., Troya, J., Vallecillo, A.: TractsTool: Testing Model Transformations based on Contracts. In: Demos\/Posters\/StudentResearch@MoDELS. CEUR Workshop Proceedings, vol.\u00a01115, pp. 76\u201380 (2013)"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Dean, T.R., Cordy, J.R., Malton, A.J., Schneider, K.A.: Grammar Programming in TXL. In: SCAM, p. 93. IEEE (2002)","DOI":"10.1109\/SCAM.2002.1134109"},{"issue":"4","key":"19_CR6","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s10270-008-0095-y","volume":"8","author":"K. Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G.: Generating instance models from meta models. Software and System Modeling\u00a08(4), 479\u2013500 (2009)","journal-title":"Software and System Modeling"},{"key":"19_CR7","unstructured":"Harm, J., L\u00e4mmel, R.: Two-dimensional Approximation Coverage. Informatica, 24(3) (2000)"},{"issue":"4","key":"19_CR8","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1002\/spe.1017","volume":"41","author":"D. Hoffman","year":"2011","unstructured":"Hoffman, D., Ly-Gagnon, D., Strooper, P.A., Wang, H.-Y.: Grammar-based test generation with YouGen. Softw. Pract. Exper.\u00a041(4), 427\u2013447 (2011)","journal-title":"Softw. Pract. Exper."},{"issue":"12","key":"19_CR9","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.A.: Two case studies in grammar-based test generation. Journal of Systems and Software\u00a083(12), 2369\u20132378 (2010)","journal-title":"Journal of Systems and Software"},{"key":"19_CR10","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Vermaas, R., Visser, E.: Integrated language definition testing: Enabling test-driven language development. In: OOPSLA, pp. 139\u2013154. ACM (2011)","DOI":"10.1145\/2076021.2048080"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Kats, L.C.L., Vermaas, R., Visser, E.: Testing domain-specific languages. In: OOPSLA Companion, pp. 25\u201326. ACM (2011)","DOI":"10.1145\/2048147.2048160"},{"key":"19_CR12","doi-asserted-by":"publisher","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":"19_CR13","unstructured":"L\u00e4mmel, R.: Another DSL primer, 2013. Technical Documentation. Version 0.00003 as of (December 25, 2013), https:\/\/github.com\/slebok\/slepro\/blob\/master\/docs\/fsml\/paper.tex ."},{"key":"19_CR14","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)"},{"issue":"2","key":"19_CR15","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"},{"issue":"4","key":"19_CR16","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":"19_CR17","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":"19_CR18","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":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/978-3-642-30982-3_11","volume-title":"Formal Methods for Model-Driven Engineering","author":"A. Vallecillo","year":"2012","unstructured":"Vallecillo, A., Gogolla, M., Burgue\u00f1o, L., Wimmer, M., Hamann, L.: Formal Specification and Testing of Model Transformations. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol.\u00a07320, pp. 399\u2013437. Springer, Heidelberg (2012)"},{"key":"19_CR20","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.V. Zelenov","year":"2006","unstructured":"Zelenov, S.V., 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":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11245-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T14:16:38Z","timestamp":1746368198000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11245-9_19"}},"subtitle":["Tool Paper"],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319112442","9783319112459"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11245-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}