@article{article, title  = {{Complete FSM testing using strong separability}},

 publisher = {{Springer}},

 url = {{https://eprints.whiterose.ac.uk/id/eprint/236622 }},

 year = {{2026}},

 month = {{4}},

 author = {{Hierons RM and Mousavi MR}},

 doi = {{10.1007/978-3-032-22730-0_16}},

 volume = {{LNCS 16503}},

 journal = {{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}},

 pages = {{328-349}},

 note = {{Accessed on 2026/05/16}}}