Generating Test Cases for Code Generators by Unfolding Graph Transformation Systems