Regression Verification: Proving the Equivalence of Similar Programs.

Published in: CAV (2009)

Keyphrases

regression model
symbolic execution
database
least squares
model selection
linear regression
computer programs
expert systems
regression methods
datalog programs
regression algorithm
locally weighted
hardware designs