Test generation based on symbolic specifications (2005)

by Lars Frantzen, Jan Tretmans, Tim A C Willemse
Venue:In FATES 2004, number 3395 in LNCS