Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce

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 machines by...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Journal of big data Ročník 8; číslo 1; s. 1 - 27 / 145
Hlavní autori:	Elghadyry, Bilal, Ouardi, Faissal, Lotfi, Zineb, Verel, Sébastien
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Cham Springer International Publishing 20.11.2021 Springer Nature B.V Springer SpringerOpen
Predmet:	Algorithms Artificial Intelligence Big Data Communications Engineering Computational Science and Engineering Computer Science Conformance test Cost analysis Data Mining and Knowledge Discovery Database Management Derivation Distinguishing Experiments Finite state machines Information Storage and Retrieval Machinery MapReduce framework Mathematical Applications in Computer Science Networks Parallel algorithm Sequences Conformance test Parallel algorithm Finite state machines MapReduce framework
ISSN:	2196-1115, 2196-1115
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!