Specification-driven model transformation testing

  title={Specification-driven model transformation testing},
  author={Esther Guerra and Mathias Soeken},
  journal={Software & Systems Modeling},
Testing model transformations poses several challenges, among them the automatic generation of appropriate input test models and the specification of oracle functions. Most approaches for the generation of input models ensure a certain coverage of the source meta-model or the transformation implementation code, whereas oracle functions are frequently defined using query or graph languages. However, these two tasks are usually performed independently regardless of their common purpose, and… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS
14 Citations
50 References
Similar Papers


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


Publications referenced by this paper.
Showing 1-10 of 50 references

Schwinger,W.:Automated verificationofmodel transformations basedonvisual contracts.Autom

  • E. Guerra, J. de Lara, +4 authors J. Schönböck
  • Softw. Eng. 12(1),
  • 2013
Highly Influential
4 Excerpts

Software Abstractions

  • D. Jackson
  • Logic, Language, and Analysis. MIT Press…
  • 2006
Highly Influential
3 Excerpts

Traon,Y.:Mutation analysis testing formodel transformations. In: ECMDA-FA’06

  • J. Mottu, B. Baudry
  • vol. 4066 of LNCS,
  • 2006
Highly Influential
3 Excerpts

Automated verificationofmodel transformations basedonvisual contracts

  • E. Guerra, J. de Lara, +5 authors W. Schwinger
  • Autom . Softw . Eng .
  • 2013

Modelling and analysis using GROOVE

  • A. H. Ghamarian, M. deMol, A. Rensink, E. Zambon, M. Zimakova
  • STTT 14(1), 15–40
  • 2012
1 Excerpt

Similar Papers

Loading similar papers…