✦ LIBER ✦

Checking Completeness of Tests for Finite State Machines

✍ Scribed by Simao, Adenilso; Petrenko, Alexandre

Book ID: 118698099
Publisher: IEEE
Year: 2010
Tongue: English
Weight: 837 KB
Volume: 59
Category: Article
ISSN: 0018-9340
DOI: 10.1109/tc.2010.17

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Comparing finite state machine test

✍ Simao, A.; Petrenko, A.; Maldonado, J.C. 📂 Article 📅 2009 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 760 KB

On the synthesis of adaptive tests for n

On the synthesis of adaptive tests for nondeterministic finite state machines

✍ M. L. Gromov; N. V. Evtushenko; A. V. Kolomeets 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 197 KB

Synchronizable test sequences of finite

Synchronizable test sequences of finite state machines

✍ Kuo-Chung Tai; Yu-Chiou Young 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 180 KB

## Ž . The finite state machine FSM model is commonly used for specifying communication protocols and other types of distributed systems. For an FSM with multiple ports, multiple testers are needed, but the synchronization between inputs from different testers becomes a problem. A synchronizable t

Synthesis of distinguishing test cases f

Synthesis of distinguishing test cases for timed finite state machines

✍ M. L. Gromov; N. V. Yevtushenko 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 268 KB

New state-recognition patterns for confo

New state-recognition patterns for conformance testing of finite state machine implementations

✍ Monika Kapus-Kolar 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 330 KB

State assignment of finite-state machine

State assignment of finite-state machines

✍ Ahmad, I.; Dhodhi, M.K. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 187 KB