Completeness of FSM Test Suites Reconsidered. - Frits W. Vaandrager; Paul Fiterau-Brostean; Ivo Melse (CoRR, 2024)

New Fault Domains for Conformance Testing of Finite State Machines. - Frits W. Vaandrager; Ivo Melse (CONCUR, 2025)