TY - SER AU - Fujiwara, Susumu AU - Bochmann, Gregor V. TI - Test Selection Based on Finite State Models KW - Test Selection ER -