TY - JOUR T1 - Testing from partial finite state machines without harmonised traces JO - IEEE Transactions on Software Engineering UR - https://eprints.whiterose.ac.uk/id/eprint/147594 PY - 2017/11/01 AU - Hierons RM ED - DO - DOI: 10.1109/TSE.2017.2652457 PB - IEEE VL - 43 IS - 11 SP - 1033 EP - 1043 Y2 - 2025/11/05 ER -