On the Usage of TGGs for Automated Model Transformation Testing-Reference-Cited by-同舟云学术

On the Usage of TGGs for Automated Model Transformation Testing

Published:2014 Issue: Volume: Page:1-16
ISSN:0302-9743
Container-title:Theory and Practice of Model Transformations
language:
Short-container-title:

Author:

Wieber Martin,Anjorin Anthony,Schürr Andy

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-08789-4_1

Reference28 articles.

1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. SoSyM 9(1), 69–86 (2010)

2. Lecture Notes in Computer Science;A. Anjorin,2012

3. Anjorin, A., Varró, G., Schürr, A.: Complex Attribute Manipulation in TGGs with Constraint-Based Programming Techniques. In: Proc. Workshop on BX 2012. ECEASST, vol. 49, EASST (2012)

4. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Le Traon, Y.: Model Transformation Testing Challenges. In: Proc. IMDT Workshop 2006, Bilbao, Spain (2006)

5. Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems 35(6), 615–636 (2010)

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

1. Model Transformation Testing and Debugging: A Survey;ACM Computing Surveys;2022-11-21

2. An Approach for Automatically Repairing ATL Model Transformation Programs;Software Engineering and Applications;2022

3. Model Based Development of Data Integration in Graph Databases Using Triple Graph Grammars;Software Technologies: Applications and Foundations;2018

4. Full contract verification for ATL using symbolic execution;Software & Systems Modeling;2016-07-27