2004
DOI: 10.1023/b:pacs.0000013436.72070.95
|View full text |Cite
|
Sign up to set email alerts
|

Irredundant Algorithms for Traversing Directed Graphs: The Nondeterministic Case

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

0
5
0

Year Published

2004
2004
2012
2012

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 16 publications
(5 citation statements)
references
References 24 publications
0
5
0
Order By: Relevance
“…The architecture includes stimuli generators (including FSM based ones, in which irredundant traversal algorithms are implemented [12]), oracle (reaction checker), as well as coverage tracker and verification report generator (Fig. 2).…”
Section: Architecture Of Single Test Systemmentioning
confidence: 99%
“…The architecture includes stimuli generators (including FSM based ones, in which irredundant traversal algorithms are implemented [12]), oracle (reaction checker), as well as coverage tracker and verification report generator (Fig. 2).…”
Section: Architecture Of Single Test Systemmentioning
confidence: 99%
“…Although the abstract automaton is being dynamically constructed during the execution of the test scenario, the restrictions are imposed on the final abstract automaton. There are two main implementations of the test engine: a test engine that can traverse deterministic abstract automata [11] and a test engine that can traverse nondeterministic abstract automata [12]. The test engine for deterministic abstract automata demands the final abstract automaton to be finite, deterministic and strongly connected.…”
Section: Unitesk Technologymentioning
confidence: 99%
“…The technology utilizes so-called implicit FSM descriptions that consist of current state function and stimuli iterator. To traverse FSM being defined implicitly, irredundant algorithms are used [5]. Such algorithms require strongly connectivity of the state graph and also FSM determinacy.…”
Section: Unitesk Technologymentioning
confidence: 99%