Mirko Conrad Heiko Dörr Ingo Stürmer Andy Schürr Graph Transformations for Model-based Testing. 39-50 2002 conf/modellierung/2002 Modellierung db/conf/modellierung/modellierung2002.html#ConradDSS02