Automating Regression Verification.
Dennis FelsingSarah GrebingVladimir KlebanovPhilipp RümmerMattias UlbrichPublished in: Software Engineering & Management (2015)
Keyphrases
- regression model
- model checking
- face verification
- regression algorithm
- formal verification
- simple linear
- linear regression
- ridge regression
- support vector
- support vector regression
- aggregating algorithm
- regression trees
- regression problems
- regression analysis
- model selection
- face detection
- regression methods
- bayesian networks
- learning algorithm
- real world
- asynchronous circuits
- regression function
- high security
- ordinary least squares
- databases