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...
Enregistré dans:
| Auteurs principaux: | , , , |
|---|---|
| Format: | article |
| Langue: | EN |
| Publié: |
SpringerOpen
2021
|
| Sujets: | |
| Accès en ligne: | https://doaj.org/article/73a721a384aa4cce84bde04ca5e307a5 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|