Paolo Baldan, Barbara König, Ingo Stürmer. Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems. In Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg, editors, Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings. Volume 3256 of Lecture Notes in Computer Science, pages 194-209, Springer, 2004. [doi]
Abstract is missing.