R.: Gast: Generic Automated Software Testing (2003)

by P Koopman, A Alimarine, J Tretmans, Plasmeijer
Venue:IFL 2002. LNCS