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ženo v:

Podrobná bibliografie
Vydáno v:	Journal of big data Ročník 8; číslo 1; s. 1 - 27 / 145
Hlavní autoři:	Elghadyry, Bilal, Ouardi, Faissal, Lotfi, Zineb, Verel, Sébastien
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Cham Springer International Publishing 20.11.2021 Springer Nature B.V Springer SpringerOpen
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!