Generating Test Cases for EFSM with Given Fault Models.

Chang-Jia Wang Ming T. Liu

Published in: INFOCOM (1993)

Keyphrases

finite state machines
fault models
model based diagnosis
model checking
fault management
fault model
horn clauses
conflict resolution
hidden markov models
dynamic systems
regular expressions
expert systems
temporal logic
fault tolerant
data management
object oriented
query processing