Tractable Model Transformation Testing

  title={Tractable Model Transformation Testing},
  author={Martin Gogolla and Antonio Vallecillo},
Model transformation (MT) testing is gaining interest as the size and complexity of MTs grows. In general it is very difficult and expensive (time and computational complexity-wise) to validate in full the correctness of a MT. This paper presents a MT testing approach based on the concept of Tract, which is a generalization of the concept of Model Transformation Contract. A Tract defines a set of constraints on the source and target metamodels, a set of source-target constraints, and a tract… CONTINUE READING
Highly Cited
This paper has 65 citations. REVIEW CITATIONS
41 Citations
23 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 41 extracted citations

65 Citations

Citations per Year
Semantic Scholar estimates that this publication has 65 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…