{"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":1773773735406,"version":"3.50.1"},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2017,10,14]],"date-time":"2017-10-14T00:00:00Z","timestamp":1507939200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2018,12]]},"DOI":"10.1007\/s11219-017-9390-6","type":"journal-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T22:47:21Z","timestamp":1507934841000},"page":"1483-1518","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Automated testing of DSL implementations\u2014experiences from building mbeddr"],"prefix":"10.1007","volume":"26","author":[{"given":"Daniel","family":"Ratiu","sequence":"first","affiliation":[]},{"given":"Markus","family":"Voelter","sequence":"additional","affiliation":[]},{"given":"Domenik","family":"Pavletic","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,10,14]]},"reference":[{"issue":"3","key":"9390_CR1","doi-asserted-by":"crossref","first-page":"1:1","DOI":"10.5381\/jot.2015.14.3.a1","volume":"14","author":"M Amrani","year":"2015","unstructured":"Amrani, M., Combemale, B., Lucio, L., Selim, G.M.K., Dingel, J., Traon, Y.L., Vangheluwe, H., & Cordy, J.R. (2015). Formal verification techniques for model transformations: a tridimensional classification. Journal of Object Technology, 14(3), 1:1\u201343.","journal-title":"Journal of Object Technology"},{"key":"9390_CR2","unstructured":"Campagne, F (2014). The MPS language workbench. CreateSpace Publishing."},{"key":"9390_CR3","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.cl.2015.08.005","volume":"44","author":"A Chis","year":"2015","unstructured":"Chis, A., Denker, M., G\u00eerba, T., & Nierstrasz, O. (2015). Practical domain-specific debuggers using the moldable debugger framework. Computer Languages Systems & Structures, 44, 89\u2013113.","journal-title":"Computer Languages Systems & Structures"},{"key":"9390_CR4","doi-asserted-by":"crossref","unstructured":"Clarke, E.M., Kroening, D., & Lerda, F. (2004). A tool for checking ANSI-C programs. In 10th International conference tools and algorithms for the construction and analysis of systems.","DOI":"10.1007\/978-3-540-24730-2_15"},{"key":"9390_CR5","unstructured":"Ellison, C.M. III (2012). A formal semantics of C with applications. University of Illinois at Urbana-Champaign."},{"key":"9390_CR6","doi-asserted-by":"crossref","unstructured":"Erdweg, S., Storm, T., V\u00f6lter, M., & et al (2013). The state of the art in language workbenches. In Software language engineering, LNCS. Springer.","DOI":"10.1007\/978-3-319-02654-1_11"},{"key":"9390_CR7","unstructured":"Eysholdt, M. (2014). Executable specifications for xtext. Website. http:\/\/www.xpect-tests.org\/ ."},{"key":"9390_CR8","first-page":"383","volume-title":"Making random judgments: automatically generating well-typed terms from the definition of a type-system","author":"B Fetscher","year":"2015","unstructured":"Fetscher, B., Claessen, K., Pa\u0142ka, M., Hughes, J., & Findler, R.B. (2015). Making random judgments: automatically generating well-typed terms from the definition of a type-system, (pp. 383\u2013405). Berlin: Springer."},{"key":"9390_CR9","unstructured":"Free Software Foundation (2015). The GNU Project Debugger."},{"issue":"3-4","key":"9390_CR10","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1007\/s10515-009-0053-0","volume":"16","author":"A Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., & Scandurra, P. (2009). A semantic framework for metamodel-based languages. Automated Software Engineering, 16(3-4), 415\u2013454.","journal-title":"Automated Software Engineering"},{"issue":"5","key":"9390_CR11","doi-asserted-by":"crossref","first-page":"1354","DOI":"10.1016\/j.jss.2012.12.051","volume":"86","author":"V Garousi","year":"2013","unstructured":"Garousi, V., & Zhi, J. (2013). A survey of software testing practices in Canada. Journal of Systems and Software, 86(5), 1354\u20131376.","journal-title":"Journal of Systems and Software"},{"key":"9390_CR12","unstructured":"JetBrains (2017). JetBrains MPS Documentation. https:\/\/www.jetbrains.com\/mps\/documentation\/ ."},{"key":"9390_CR13","doi-asserted-by":"crossref","unstructured":"Kats, L.C., Vermaas, R., & Visser, E. (2011). Integrated language definition testing: enabling test-driven language development. In ACM SIGPLAN Notices (Vol. 46, pp. 139\u2013154). ACM.","DOI":"10.1145\/2076021.2048080"},{"key":"9390_CR14","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R. (2001). Grammar testing. In Proceedings of the 4th international conference on fundamental approaches to software engineering.","DOI":"10.1007\/3-540-45314-8_15"},{"key":"9390_CR15","doi-asserted-by":"crossref","unstructured":"Molotnikov, Z., V\u00f6lter, M., & Ratiu, D. (2014). Automated domain-specific c verification with mbeddr. InProceedings of the 29th ACM\/IEEE international conference on automated software engineering (pp. 539\u2013550). ACM.","DOI":"10.1145\/2642937.2642938"},{"key":"9390_CR16","unstructured":"Pa\u0142ka, M.H., Claessen, K., Russo, A., & Hughes, J. (2011). Testing an optimising compiler by generating random lambda terms. In Proceedings of the 6th international workshop on automation of software test, AST \u201911 (pp. 91\u201397). New York: ACM."},{"key":"9390_CR17","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s40568-013-0044-y","volume":"33","author":"D Pavletic","year":"2013","unstructured":"Pavletic, D., Raza, S.A., Voelter, M., Kolb, B., & Kehrer, T. (2013). Extensible debuggers for extensible languages. Softwaretechnik-Trends, 33, 2.","journal-title":"Softwaretechnik-Trends"},{"key":"9390_CR18","unstructured":"Pavletic, D., Raza, S.A., Dummann, K., & Ha\u00dflbauer, K. (2015a). Testing extensible language debuggers. In T. Mayerhofer, P. Langer, E. Seidewitz, & J. Gray (Eds.), Proceedings of the 1st International Workshop on Executable Modeling co-located with ACM\/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015). Ottawa, Canada, September 27, 2015., volume 1560 of CEUR Workshop Proceedings (pp. 34\u201340). CEUR-WS.org."},{"key":"9390_CR19","doi-asserted-by":"crossref","unstructured":"Pavletic, D., Voelter, M., Raza, S. A., Kolb, B., & Kehrer, T. (2015b). Extensible debugger framework for extensible languages. In J. A. de la Puente & T. Vardanega (Eds.), Reliable software technologies - Ada-Europe 2015 - 20th Ada-Europe international conference on reliable software technologies, Madrid Spain, June 22-26 2015, proceedings, volume 9111 of lecture notes in computer science (pp. 33\u201349). Springer.","DOI":"10.1007\/978-3-319-19584-1_3"},{"key":"9390_CR20","unstructured":"Ratiu, D., Voelter, M., Schaetz, B., & Kolb, B. (2012). Language engineering as enabler for incrementally defined formal analyses. In Proceedings of the workshop on formal methods in software engineering: rigorous and agile approaches (FORMSERA\u20192012)."},{"key":"9390_CR21","doi-asserted-by":"crossref","unstructured":"Ratiu, D., Voelter, M., Kolb, B., & Schaetz, B. (2013). Using language engineering to lift languages and analyses at the domain level. In Proceedings the 5th NASA formal methods symposium (NFM\u201913).","DOI":"10.1007\/978-3-642-38088-4_35"},{"key":"9390_CR22","unstructured":"Ratiu, D., & Voelter, M. (2016). Automated testing of dsl implementations Experiences from building mbeddr. In Proceedings of the 11th international workshop on automation of software test, AST \u201916. New York: ACM."},{"key":"9390_CR23","doi-asserted-by":"crossref","unstructured":"Ratiu, D., & Ulrich, A. (2017). Increasing usability of spin-based c code verification using a harness definition language leveraging model-driven code checking to practitioners. In Proceedings of the 24th ACM SIGSOFT international SPIN symposium on model checking of software.","DOI":"10.1145\/3092282.3092283"},{"key":"9390_CR24","doi-asserted-by":"crossref","unstructured":"Tolvanen, J.-P., & Kelly, S. (2016). Model-driven development challenges and solutions - experiences with domain-specific modelling in industry. In Proceedings of the 4th international conference on model-driven engineering and software development - Volume 1: IndTrackMODELSWARD (pp. 711\u2013719).","DOI":"10.5220\/0005833207110719"},{"key":"9390_CR25","unstructured":"Voelter, M. (2011). Language and IDE development, modularization and composition with MPS. In Generative and transformational techniques in software engineering, lecture notes in computer science."},{"key":"9390_CR26","unstructured":"Voelter, M., & Lisson, S. (2014). Supporting diverse notations in mps\u2019projectional editor. In GEMOC@ MoDELS (pp. 7\u201316)."},{"key":"9390_CR27","doi-asserted-by":"crossref","unstructured":"Voelter, M, Ratiu, D, Sch\u00e4tz, B, & Kolb, B (2012). mbeddr: an extensible C-based programming language and IDE for embedded systems. In SPLASH \u201912.","DOI":"10.1145\/2384716.2384767"},{"issue":"3","key":"9390_CR28","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/s10515-013-0120-4","volume":"20","author":"M Voelter","year":"2013","unstructured":"Voelter, M., Ratiu, D., Kolb, B., & Schaetz, B (2013a). mbeddr: instantiating a language workbench in the embedded software domain. Automated Software Engineering, 20(3), 339\u2013390.","journal-title":"Automated Software Engineering"},{"key":"9390_CR29","unstructured":"Voelter, M., Benz, S., Dietrich, C., Engelmann, B., Helander, M., Kats, L, Visser, E., & Wachsmuth, G. (2013b). DSL Engineering. dslbook.org ."},{"key":"9390_CR30","doi-asserted-by":"crossref","unstructured":"Voelter, M., Deursen, A.v., Kolb, B., & Eberle, S. (2015). Using C language extensions for developing embedded software: a case study (Vol. 50). ACM.","DOI":"10.1145\/2814270.2814276"},{"key":"9390_CR31","doi-asserted-by":"crossref","unstructured":"Voelter, M., Kolb, B., Szab\u00f3, T., Ratiu, D., & van Deursen, A. (2017). Lessons learned from developing mbeddr: a case study in language engineering with mps. Software & Systems Modeling.","DOI":"10.1007\/s10270-016-0575-4"},{"key":"9390_CR32","doi-asserted-by":"crossref","unstructured":"Wu, H., Gray, J.G., & Mernik, M. (2009). Unit testing for domain-specific languages. In W. M. Taha (Ed.), Domain-specific languages, IFIP TC 2 working conference, DSL 2009, Oxford, UK, July 15-17, 2009, proceedings, volume 5658 of lecture notes in computer science (pp. 125\u2013147). Springer.","DOI":"10.1007\/978-3-642-03034-5_7"},{"key":"9390_CR33","unstructured":"Wu, H., Monahan, R., & Power, J.F. (2012). Metamodel instance generation: a systematic literature review. Computing Research Repository (CoRR)."},{"issue":"6","key":"9390_CR34","doi-asserted-by":"crossref","first-page":"283","DOI":"10.1145\/1993316.1993532","volume":"46","author":"X Yang","year":"2011","unstructured":"Yang, X., Chen, Y., Eide, E., & Regehr, J. (2011). Finding and understanding bugs in c compilers. SIGPLAN Notices, 46(6), 283\u2013294.","journal-title":"SIGPLAN Notices"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-017-9390-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9390-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-017-9390-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,4]],"date-time":"2019-10-04T17:27:45Z","timestamp":1570210065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-017-9390-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,14]]},"references-count":34,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2018,12]]}},"alternative-id":["9390"],"URL":"https:\/\/doi.org\/10.1007\/s11219-017-9390-6","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,10,14]]}}}