TY - JOUR T1 - Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs JO - ACM Transactions on Software Engineering and Methodology PY - 2017/01/01 AU - Hierons RM AU - T眉rker UC ED - DO - DOI: 10.1145/3051121 PB - Association for Computing Machinery (ACM) VL - 26 IS - 1 SP - 1 EP - 34 Y2 - 2025/05/21 ER -