Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce
Abstract Distinguishing sequences are widely used in finite state machine-based conformance testing to solve the state identification problem. In this paper, we address the scalability issue encountered while deriving distinguishing sequences from complete observable nondeterministic finite state ma...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | article |
| Language: | EN |
| Published: |
SpringerOpen
2021
|
| Subjects: | |
| Online Access: | https://doaj.org/article/73a721a384aa4cce84bde04ca5e307a5 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|