✦ LIBER ✦

Testing from a nondeterministic finite state machine using adaptive state counting

✍ Scribed by Hierons, R.M.

Book ID: 118697811
Publisher: IEEE
Year: 2004
Tongue: English
Weight: 780 KB
Volume: 53
Category: Article
ISSN: 0018-9340
DOI: 10.1109/tc.2004.85

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Controllable Testing from Nondeterminist

Controllable Testing from Nondeterministic Finite State Machines with Multiple Ports

✍ Hierons, R.M. 📂 Article 📅 2011 🏛 IEEE 🌐 English ⚖ 453 KB

On deriving test suites for nondetermini

On deriving test suites for nondeterministic finite state machines with time-outs

✍ N. V. Shabaldina, R. F. Galimullin 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 306 KB

Gambling using a finite state machine

✍ Feder, M. 📂 Article 📅 1991 🏛 IEEE 🌐 English ⚖ 765 KB

Optimal transfer trees and distinguishin

Optimal transfer trees and distinguishing trees for testing observable nondeterministic finite-state machines

✍ Fan Zhang; To-yat Cheung 📂 Article 📅 2003 🏛 IEEE 🌐 English ⚖ 433 KB

A test methodology for finite state mach

A test methodology for finite state machines using partial scan design

✍ Hyoung B. Min; William A. Rogers 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 876 KB

This paper presents an efficient automatic test pattern generation technique for loop-free circuits. A partial scan technique is used to convert a sequential circuit (finite state machine) with arbitrary feedback paths into a pipelined circuit for testing. Test generation for these modified circuits