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]
@inproceedings{BaldanKS04,
title = {Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems},
author = {Paolo Baldan and Barbara König and Ingo Stürmer},
year = {2004},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3256&spage=194},
tags = {graph transformation, testing, graph-rewriting, transformation system, rewriting, transformation},
researchr = {https://researchr.org/publication/BaldanKS04},
cites = {0},
citedby = {0},
pages = {194-209},
booktitle = {Graph Transformations, Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings},
editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi-Presicce and Grzegorz Rozenberg},
volume = {3256},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-23207-9},
}