Automated testing of DSL implementations-Reference-Cited by-同舟云学术

Automated testing of DSL implementations

Published:2016 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 11th International Workshop on Automation of Software Test - AST '16
language:
Short-container-title:

Author:

Ratiu Daniel¹,Voelter Markus²

Affiliation:

1. Siemens CT

2. independent/itemis

Publisher

ACM Press

Reference15 articles.

1. JetBrains MPS Documentation. https://www.jetbrains.com/mps/documentation/.

2. M. Amrani, B. Combemale, L. Lucio, G. M. K. Selim, J. Dingel, Y. L. Traon, H. Vangheluwe, and J. R. Cordy. Formal verification techniques for model transformations: A tridimensional classification.Journal of Object Technology, 14(3):1:1--43, 2015.

3. F. Campagne.The MPS Language Workbench. CreateSpace Publishing, 2014.

4. E. M. Clarke, D. Kroening, and F. Lerda. A tool for checking ANSI-C programs. InTools and Algorithms for the Construction and Analysis of Systems, - 10th International Conference, 2004.

5. S. Erdweg, T. Storm, M. Völter, et al. The State of the Art in Language Workbenches. InSoftware Language Engineering, LNCS. Springer, 2013.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Testing Languages with a Languages-as-Databases Approach;Tests and Proofs;2023

2. Strukturierte Softwareentwicklung;Software im Automobil;2023

3. Systematic mapping study on domain-specific language development tools;Empirical Software Engineering;2020-08-28

4. Diversity of graph models and graph generators in mutation testing;International Journal on Software Tools for Technology Transfer;2019-09-11

5. Using language workbenches and domain-specific languages for safety-critical software development;Software & Systems Modeling;2018-05-17