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

by Paolo Baldan, Barbara König, Ingo Stürmer
Citations:12 - 0 self