Burgueño, LoliWimmer, ManuelTroya Castilla, JavierVallecillo Moreno, Antonio2018-04-242018-04-242013Burgueño, L., Wimmer, M., Troya Castilla, J. y Vallecillo Moreno, A. (2013). TractsTool: Testing Model Transformations based on Contracts. En MODELS-JP 2013: Invited Talks, Demonstration Session, Poster Session, and ACM Student Research Competition co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013) (76-80), Miami, USA: CEUR-WS.1613-0073https://hdl.handle.net/11441/73406Model transformations play an important role in Model-Driven Engineering (MDE), and as their size and complexity grow, there is an increasing need to count on tool support for testing their correctness. In this work, we present TractsTool, a tool for specifying and testing several different kinds of model transformations, e.g., model-to-model, model-to-text, and text-to-model transformations, based on contracts.application/pdfengAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/Model transformationContract-based designTestingTool supportinfo:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess