Search the dblp DataBase

Publications of Author

1. Paolo Baldan, Barbara König, Ingo Stürmer
   Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   ICGT, 2004, pp:194-209 [Conf]
   
2. Ingo Stürmer, Mirko Conrad
   Code Generator Testing in Practice. [Citation Graph (0, 0)][DBLP]
   GI Jahrestagung (2), 2004, pp:33-37 [Conf]
   
3. Ingo Stürmer, Mirko Conrad
   Test Suite Design for Code Generation Tools. [Citation Graph (0, 0)][DBLP]
   ASE, 2003, pp:286-290 [Conf]
   
4. Mirko Conrad, Heiko Dörr, Ingo Stürmer, Andy Schürr
   Graph Transformations for Model-based Testing. [Citation Graph (0, 0)][DBLP]
   Modellierung, 2002, pp:39-50 [Conf]
   
5. Ingo Stürmer
   A Contribution of Graph Grammar Techniques to the Specification, Verification and Certification of Code Generation Tools. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2002, v:72, n:2, pp:- [Journal]
   
6. Ingo Stürmer, Mirko Conrad
   Ein Testverfahren für optimierende Codegeneratoren. [Citation Graph (0, 0)][DBLP]
   Inform., Forsch. Entwickl., 2005, v:19, n:4, pp:213-223 [Journal]
   
7. Ingo Stürmer, Mirko Conrad, Heiko Dörr, Peter Pepper
   Systematic Testing of Model-Based Code Generators. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2007, v:33, n:9, pp:622-634 [Journal]
   
8. 
   Checking and Enforcement of Modeling Guidelines with Graph Transformations. [Citation Graph (, )][DBLP]
   
   
9. 
   TUDOOR - Ein Java Adapter für Telelogic DOORS. [Citation Graph (, )][DBLP]
   
   
10. 
    Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. [Citation Graph (, )][DBLP]
    
    
11. 
    Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen. [Citation Graph (, )][DBLP]