Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations-Reference-Cited by-同舟云学术

Complete Specification Coverage in Automatically Generated Conformance Test Cases for TGG Implementations

Published:2013 Issue: Volume: Page:174-188
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

Hildebrandt Stephan,Lambers Leen,Giese Holger

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-38883-5_16

Reference15 articles.

1. de Lara, J., Guerra, E.: Inter-modelling with graphical constraints: Foundations and applications. EC-EASST 47 (2012)

2. Lecture Notes in Computer Science;G. Engels,2007

3. Lecture Notes in Computer Science;C. Fiorentini,2010

4. Fleurey, F., Steel, J., Baudry, B.: Validation in model-driven engineering: Testing model transformations. In: Proc. of MoDeVa 2004, pp. 29–40. IEEE Computer Society Press (2004)

5. Giese, H., Hildebrandt, S., Lambers, L.: Toward bridging the gap between formal semantics and implementation of triple graph grammars. Technical Report 37, Hasso Plattner Institute at the University of Potsdam (2010)

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

1. Taint Analysis for Graph APIs Focusing on Broken Access Control;Lecture Notes in Computer Science;2024

2. TC4MT: A Specification-Driven Testing Framework for Model Transformations;International Journal of Software Engineering and Knowledge Engineering;2023-05-29

3. Multi-granular conflict and dependency analysis in software engineering based on graph transformation;Proceedings of the 40th International Conference on Software Engineering;2018-05-27

4. Model transformation testing: a bi-level search-based software engineering approach;Journal of Software: Evolution and Process;2015-08-18

5. On the Usage of TGGs for Automated Model Transformation Testing;Theory and Practice of Model Transformations;2014