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

Full description

Saved in:

Bibliographic Details
Published in:	Journal of big data Vol. 8; no. 1; pp. 1 - 27 / 145
Main Authors:	Elghadyry, Bilal, Ouardi, Faissal, Lotfi, Zineb, Verel, Sébastien
Format:	Journal Article
Language:	English
Published:	Cham Springer International Publishing 20.11.2021 Springer Nature B.V Springer SpringerOpen
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!