Web Services are the basic building blocks of next generation Internet applications, based on dynamic service discovery and composition.

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. Key words: graph transformation, testing, test generation, pattern matching 1

Abstract. Model transformation is a core mechanism for model-driven engineering (MDE). Writing complex model transformations is error-prone, and efficient testing techniques are required as for any complex program development. Testing a model transformation is typically performed by checking the results of the transformation applied to a set of input models. While it is fairly easy to provide some input models, it is difficult to qualify the relevance of these models for testing. In this paper, we propose a set of rules and a framework to assess the quality of given input models for testing a given transformation. Furthermore, the framework identifies missing model elements in input models and assists the user in improving these models. 1.

Abstract: This paper provides an overview of a practice-oriented testing approach for code generation tools. The main application area for the testing approach presented here is the testing of optimisations performed by the code generator. The test models and corresponding test vectors generated represent an important component in a comprehensive test suite for code generators. 1

The paper investigates the status quo of technology and science for compiler safety methods. We consider specific requirements for compilers and generators for automotive applications and discuss established and newly emerging methods of compiler safety in this context. We put the main focus on compiler verification methods on the one hand and testing technology on the other hand and discuss their applicability in the automotive context. 1.