Automating regression verification.

Dennis Felsing Sarah Grebing Vladimir Klebanov Philipp Rümmer Mattias Ulbrich

Published 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