Towards Testing the Implementation of Graph Transformations

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 75-85

  Darabos, Andrea ^a   Pataricza, András ^a   Varró, Dániel ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Graph transformation; pattern matching; test generation; testing

Indexed keywords

COMBINATORIAL CIRCUITS; FAILURE ANALYSIS; GRAPH THEORY; MATHEMATICAL MODELS; PATTERN MATCHING; SOFTWARE TESTING;

GRAPH TRANSFORMATION SPECIFICATIONS; MUTANT GENERATION; PROGRAMMER FAULTS;

MATHEMATICAL TRANSFORMATIONS;

EID: 42949098930     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.031     Document Type: Article

References (24)

1. Baldan P., Corradini A., and Koenig B. A static analysis technique for graph transformation systems. LNCS 2154 (2001) 381-395
2. Baldan P., König B., and Stürmer I. Generating test cases for code generators by unfolding graph transformation systems. ICGT'04. LNCS 3256 (2004) 194-209
3. Balogh, A., D. Varró, A. Pataricza and G. Varró, Generation of platform-specific transformation plugins for EJB 3.0, to appear for SAC'06
4. Becker, B., H. Giese and D. Schilling, A plugin for checking inductive invariants when modeling with class diagrams and story patterns, in: Proc. of the 3rd International Fujaba Days, 2005, pp. 1-4
5. Corradini A., Montanari U., Rossi F., Ehrig H., Heckel R., and Loewe M. Basic Concepts and Double Pushout Approach. [20] (1997), World Scientific 163-245
6. Darabos A., Pataricza A., and Varró D. Testing the implementation of graph transformations. Technical Report. http://www.inf.mit.bme.hu/~varro/publication/TR-2006-01.pdf
7. Dotti, F.L., L. Foss, L. Ribeiro and O.M. dos Santos Verification of Distributed Object-Based Systems, in: FMOODS, 2003, pp. 261-275
8. Geiger, L., C. Schneider and C. Reckord, Template- and modelbased code generation for MDA-Tools, in: Proc. of the 3rd International Fujaba Days, 2005
9. Hausmann, J.H., R. Heckel and S. Sauer, Extended model relations with graphical consistency conditions, in: UML Workshop on Consistency Problems in UML-based Software Development, 2002, pp. 61-74
10. Heckel R., Küster J.M., and Taentzer G. Confluence of typed attributed graph transformation systems. Proc. 1st Intl Conf. Graph Transformation. LNCS 2505 (2002) 161-176
11. Heckel, R., L. Mariani, Automatic Conformance Testing of Web Services, in: Proc. Fundamental Approaches to Software Engineering (2005)
12. Küster, J.M., R. Heckel and G. Engels, Defining and validating transformations of UML models, in: Proc. IEEE Symposium on Human Centric Computing Languages and Environments (HCC), 2003, pp. 145-152
13. Lengyel, L., H.C., T. Levendovszky, Eliminating crosscutting constraints from visual model transformation steps, in 7th International Workshop on Aspect-Oriented Modeling, 2005
14. Lin, Y., J. Zhang and J. Gray, Model comparison: A key challenge for transformation testing and version control in model driven software development, in: OOPSLA, 2004
15. Mens, T. and P.V. Gorp, A taxonomy of model transformation and its application to graph transformation, in GraMoT, 2005
16. Miron A., Breuer M.A., and Friedman A.D. Digital systems testing and testable design. Computer Sci. Pr. (1990)
17. OMG. MOF 2.0 query / views / transformations rfp ad/2002-04-10. URL: (2002). http://www.omg.org/cgi-bin/apps/doc?ad/02-04-10.pdf
18. Rensink A. The GROOVE simulator: A tool for state space generation. In: Nagl M., and Pfalz J. (Eds). Applications of Graph Transformations with Industrial Relevance. (AGTIVE). LNCS 3062 (2004) 479-485
19. Rensink A. Representing First-Order Logic Using Graphs. Graph Transformations: Second International Conference. (ICGT). LNCS 3256 (2004) 319
20. In: Rozenberg G. (Ed). Foundations. Handbook of Graph Grammars and Computing by Graph Transformations Volume 1 (1997), World Scientific
21. Sallay, B., A. Petri, K. Tilly and A. Pataricza, High level test pattern generation for VHDL circuits, in: IEEE European Test Workshop, 1996, pp. 202-206
22. Stürmer, I., M. Conrad, Test suite design for code generation tools, in: ASE'03, (2003), pp. 286
23. Varró, D., "Automated Model Transformations for the Analysis of IT Systems," Phd thesis, Budapest University of Technology and Economics (2003)
24. Varró D., and Pataricza A. Generic and meta-transformations for model transformation engineering. Proc. UML 2004: 7th International Conference on the Unified Modeling Language. LNCS 3273 (2004) 290-304