Test Selection Based on Finite State Models (1991)

by S Fujiwara, G V Bochmann, F Khendek, M Amalou, A Ghedamsi
Venue:IEEE Trans. Software Eng