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

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