A New Method for Incremental Testing of Finite State Machines.
Lehilton L. C. PedrosaArnaldo V. MouraPublished in: NASA Formal Methods (2010)
Keyphrases
- finite state machines
- high accuracy
- high precision
- classification method
- computational cost
- finite state automata
- preprocessing
- significant improvement
- dynamic programming
- high level
- synthetic data
- probabilistic model
- segmentation method
- detection method
- support vector machine
- experimental evaluation
- pairwise
- objective function
- image sequences