Automating regression verification.
Dennis FelsingSarah GrebingVladimir KlebanovPhilipp RümmerMattias UlbrichPublished in: ASE (2014)
Keyphrases
- regression model
- model checking
- support vector
- model selection
- linear regression
- formal analysis
- concurrent systems
- polynomial regression
- support vector regression
- formal verification
- classification and regression problems
- real time
- aggregating algorithm
- false acceptance rate
- locally weighted
- ridge regression
- regression algorithm
- decision trees
- website
- knowledge base
- social networks
- real world