Gast: Generic automated software testing (2002)

by P Koopman, A Alimarine, J Tretmans, R Plasmeijer
Venue:In Workshop on the Impl. of Func. Lang., IFL02