Test Selection Based on Finite State Models. - Susumu Fujiwara; Gregor von Bochmann; Ferhat Khendek; Mokhtar Amalou; Abderrazak Ghedamsi (IEEE Trans. Software Eng., 1991)