Interactive method for cumulative analysis of software formal models behavior.
Alexander KolchinPublished in: UkrPROG (2018)
Keyphrases
- detection method
- significant improvement
- formal models
- analysis tool
- synthetic data
- computer systems
- high accuracy
- statistical analysis
- preprocessing
- edge detection
- cost function
- classification method
- probabilistic model
- real world
- expert systems
- data analysis
- objective function
- similarity measure
- case study
- decision making
- genetic algorithm