TY - JOUR T1 - Testing from Partial Finite State Machines without Harmonised Traces JO - IEEE Transactions on Software Engineering UR - http://eprints.whiterose.ac.uk/147594/ PY - 2017/11/01 AU - Hierons RM ED - DO - DOI: 10.1109/tse.2017.2652457 VL - 43 IS - 11 SP - 1033 EP - 1043 Y2 - 2024/12/21 ER -