A new method for testing timed systems.
Adilson Luiz BonifácioArnaldo Vieira MouraPublished in: Softw. Test. Verification Reliab. (2013)
Keyphrases
- detection method
- high accuracy
- evaluation method
- synthetic data
- preprocessing
- fully automatic
- classification method
- probabilistic model
- objective function
- test data
- pairwise
- segmentation method
- error rate
- significant improvement
- theoretical analysis
- model selection
- experimental evaluation
- main contribution
- support vector machine svm
- clustering method
- multiresolution
- complex systems
- medical images
- dynamic programming
- management system
- expert systems