Login / Signup

Regression verification: proving the equivalence of similar programs.

Benny GodlinOfer Strichman
Published in: Softw. Test. Verification Reliab. (2013)
Keyphrases
  • simple linear
  • real time
  • regression model
  • linear regression
  • symbolic execution
  • case study
  • face recognition
  • support vector
  • model selection
  • signature verification
  • polynomial regression