Formal methods for test sequence generation (1992)

by H Ural
Venue:Comput. Commun