Interoperability Testing Based on a Fault Model for a System of Communicating FSMs.

Vadim Trenkaev Myungchul Kim Soonuk Seol

Published in: TestCom (2003)

Keyphrases

communication channels
fault model
fault injection
safety analysis
finite state machines
information systems
semantic web
ciphertext
metadata
optimal solution
search algorithm
high dimensional
np complete
model checking
dynamic systems