2007 |
9 | EE | Carsten Amelunxen,
Elodie Legros,
Andy Schürr,
Ingo Stürmer:
Checking and Enforcement of Modeling Guidelines with Graph Transformations.
AGTIVE 2007: 313-328 |
8 | EE | Ingo Stürmer,
Mirko Conrad,
Heiko Dörr,
Peter Pepper:
Systematic Testing of Model-Based Code Generators.
IEEE Trans. Software Eng. 33(9): 622-634 (2007) |
2005 |
7 | EE | Ingo Stürmer,
Daniela Weinberg,
Mirko Conrad:
Overview of existing safeguarding techniques for automatically generated code.
ACM SIGSOFT Software Engineering Notes 30(4): 1-6 (2005) |
6 | EE | Ingo Stürmer,
Mirko Conrad:
Ein Testverfahren für optimierende Codegeneratoren.
Inform., Forsch. Entwickl. 19(4): 213-223 (2005) |
2004 |
5 | | Ingo Stürmer,
Mirko Conrad:
Code Generator Testing in Practice.
GI Jahrestagung (2) 2004: 33-37 |
4 | EE | Paolo Baldan,
Barbara König,
Ingo Stürmer:
Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems.
ICGT 2004: 194-209 |
2003 |
3 | EE | Ingo Stürmer,
Mirko Conrad:
Test Suite Design for Code Generation Tools.
ASE 2003: 286-290 |
2002 |
2 | | Mirko Conrad,
Heiko Dörr,
Ingo Stürmer,
Andy Schürr:
Graph Transformations for Model-based Testing.
Modellierung 2002: 39-50 |
1 | EE | Ingo Stürmer:
A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools.
Electr. Notes Theor. Comput. Sci. 72(2): (2002) |