Gast: Generic Automated Software Testing (2002)

by Pieter Koopman, Artem Alimarine, Jan Tretmans, Rinus Plasmeijer
Venue:The 14th International Workshop on the Implementation of Functional Languages, IFL’02, Selected Papers, volume 2670 of LNCS