@article{article, title = {{Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs}}, publisher = {{Association for Computing Machinery (ACM)}}, url = {{}}, year = {{2017}}, month = {{1}}, author = {{Hierons RM and Türker UC}}, doi = {{10.1145/3051121}}, volume = {{26}}, journal = {{ACM Transactions on Software Engineering and Methodology}}, issue = {{1}}, pages = {{1-34}}, note = {{Accessed on 2024/12/22}}}