TY  - JOUR

T1  - Complete FSM testing using strong separability

JO  - Foundations of Software Science and Computation Structures: 29th International Conference, FoSSaCS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings

UR  - https://eprints.whiterose.ac.uk/id/eprint/236622

PY  - 2026/04/15

AU  - Hierons RM

AU  - Mousavi MR

ED  - Bertrand N

ED  - Milius S

DO  - DOI: 10.1007/978-3-032-22730-0_16

PB  - Springer

VL  - LNCS 16503

SP  - 328

EP  - 349

Y2  - 2026/05/16

ER  -