Formal Specification and Testing of Model Transformations-Reference-Cited by-同舟云学术

Formal Specification and Testing of Model Transformations

Published:2012 Issue: Volume: Page:399-437
ISSN:0302-9743
Container-title:Formal Methods for Model-Driven Engineering
language:
Short-container-title:

Author:

Vallecillo Antonio,Gogolla Martin,Burgueño Loli,Wimmer Manuel,Hamann Lars

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-30982-3_11

Reference55 articles.

1. Lin, Y., Zhang, J., Gray, J.: Model comparison: A key challenge for transformation testing and version control in model driven software development. In: Control in Model Driven Software Development. OOPSLA/GPCE: Best Practices for Model-Driven Software Development, pp. 219–236. Springer (2004)

2. Baudry, B., Dinh-Trong, T., Mottu, J.M., Simmonds, D., France, R., Ghosh, S., Fleurey, F., Traon, Y.L.: Model transformation testing challenges. In: Proc. of IMDD-MDT 2006 (2006)

3. Lecture Notes in Computer Science;P. Stevens,2008

4. Baudry, B., Ghosh, S., Fleurey, F., France, R., Traon, Y.L., Mottu, J.M.: Barriers to systematic model transformation testing. Communications of the ACM 53(6), 139–143 (2010)

5. Lecture Notes in Computer Science;L. Baresi,2007

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

1. Improving repair of semantic ATL errors using a social diversity metric;Software and Systems Modeling;2024-04-18

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

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

4. Validation and verification in domain-specific modeling method engineering: an integrated life-cycle view;Software and Systems Modeling;2022-10-18

5. Formalizing model transformation patterns;Journal of Software: Evolution and Process;2022-01-05