Finite State Machine Testing Based on Growth and Dissappearance Faults.
Mandyam-Komar SrinivasJames JacobVishwani D. AgrawalPublished in: FTCS (1992)
Keyphrases
- finite state machines
- mutation testing
- test cases
- model checking
- fault model
- finite state automata
- state machine
- state transition
- digital circuits
- regular expressions
- software testing
- testing process
- fault diagnosis
- test generation
- high level
- fault detection
- databases
- test sequences
- cellular automaton
- test set
- software development
- source code
- medical devices