Périodique

FSM inference and checking sequence construction are two sides of the same coin

Petrenko, A., Avellaneda, F., Groz, R. et Oriat, C. "FSM inference and checking sequence construction are two sides of the same coin" Software Quality Journal, 0 (0) 2018 : 1-24