Towards Testing the Implementation of Graph Transformations

  title={Towards Testing the Implementation of Graph Transformations},
  author={Andrea Darabos and Andr{\'a}s Pataricza and D{\'a}niel Varr{\'o}},
  journal={Electr. Notes Theor. Comput. Sci.},
We present a method for testing the implementation of graph transformation specifications focusing on test case generation for graph pattern matching. We propose an extensible fault model for the implementation of transformations based on common programmer faults and the technicalities of graph transformations. We integrate traditional hardware testing (combinational circuits) and software testing techniques (mutant generation) for generating test cases. 
Highly Cited
This paper has 30 citations. REVIEW CITATIONS


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


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

A plugin for checking inductive invariants when modeling with class diagrams and story patterns

  • B. Becker, H. Giese, D. Schilling
  • in: Proc. of the 3rd International Fujaba Days,
  • 2005
1 Excerpt

Eliminating crosscutting constraints from visual model transformation steps, in 7th International Workshop on Aspect

  • L. Lengyel, C H., T. Levendovszky
  • Oriented Modeling,
  • 2005
1 Excerpt

Gorp , A taxonomy of model transformation and its application to graph transformation

  • T. Mens, V. P.
  • 2005

Reckord, Template- and modelbased code generation for MDA-Tools

  • L. Geiger, C. C. Schneider
  • in: Proc. of the 3rd International Fujaba Days,
  • 2005
1 Excerpt

: 7 th International Conference on the Unified Modeling Language

  • D. Varró, A. Pataricza
  • 2004

Similar Papers

Loading similar papers…