I.: Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems (2004)

by P Baldan, B König, Stürmer
Venue:Proc. of 2 nd Int. Conference on Graph Transformation, Springer-Verlag, LNCS