Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports.
Gang LuoRachida DssouliGregor von BochmannPallapa VenkataramAbderrazak GhedamsiPublished in: Protocol Test Systems (1993)
Keyphrases
- test sequences
- finite state machines
- mutation testing
- test cases
- model checking
- distributed systems
- finite state automata
- state machine
- fault tolerant
- bit rate
- state transition
- test generation
- hidden markov models
- video sequences
- medical devices
- artificial intelligence
- regular expressions
- open source
- object oriented
- cellular automaton
- database systems