Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

Robert M. Hierons, Uraz Cengiz Türker. Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. ACM Transactions on Software Engineering Methodology, 26(1), 2017. [doi]

Authors

Robert M. Hierons

This author has not been identified. Look up 'Robert M. Hierons' in Google

Uraz Cengiz Türker

This author has not been identified. Look up 'Uraz Cengiz Türker' in Google