TY - RPRT TI - New Fault Domains for Conformance Testing of Finite State Machines AU - Frits Vaandrager AU - Ivo Melse PY - 2025 UR - https://arxiv.org/abs/2410.19405 ID - 2410.19405 ER -