A Practical Method for Verifying Event-Driven Software.
Gerard J. HolzmannMargaret H. SmithPublished in: ICSE (1999)
Keyphrases
- event driven
- high precision
- similarity measure
- evolutionary algorithm
- clustering method
- objective function
- preprocessing
- real world
- software systems
- detection method
- experimental evaluation
- cost function
- pairwise
- learning algorithm
- data sets
- significant improvement
- probabilistic model
- classification accuracy
- multiscale
- high level
- synthetic data
- image segmentation
- segmentation method