Susumu Fujiwara Gregor von Bochmann Ferhat Khendek Mokhtar Amalou Abderrazak Ghedamsi Test Selection Based on Finite State Models. 591-603 http://doi.ieeecomputersociety.org/10.1109/32.87284 1991 17 IEEE Trans. Software Eng. 6 db/journals/tse/tse17.html#FujiwaraBKAG91