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

Alexandre Petrenko (1) , Florent Avellaneda (1) , Roland Groz (2) , Catherine Oriat

1 CRIM - Centre de Recherche Informatique de Montréal = Computer Research Institute of Montréal
2 Grenoble INP - Institut polytechnique de Grenoble - Grenoble Institute of Technology

Domaines: Informatique et langage [cs.CL]

Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat. FSM inference and checking sequence construction are two sides of the same coin. Software Quality Journal, 2018, ⟨10.1007/s11219-018-9429-3⟩. ⟨hal-02022438⟩