Author:
Büttner Fabian,Egea Marina,Cabot Jordi
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Anastasakis, K., Bordbar, B., Küster, J.M.: Analysis of Model Transformations via Alloy. In: Proceedings of MoDeVVa 2007 (2007), http://www.modeva.org/2007/modevva07.pdf
2. Asztalos, M., Lengyel, L., Levendovszky, T.: Towards automated, formal verification of model transformations. In: Proceedings 3rd International Conference on Software Testing, Verification and Validation, ICST 2010, pp. 15–24. IEEE Computer Society (2010)
3. ATL User Guide (2012) http://wiki.eclipse.org/ATL/User_Guide_-_The_ATL_Language
4. Lecture Notes in Computer Science;L. Baresi,2006
5. Baudry, B., Ghosh, S., Fleurey, F., France, R.B., Traon, Y.L., Mottu, J.-M.: Barriers to systematic model transformation testing. Communications of ACM 53(6) (2010)
Cited by
41 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献