Regression Verification Using Impact Summaries.
John D. BackesSuzette PersonNeha RungtaOksana TkachukPublished in: SPIN (2013)
Keyphrases
- regression model
- high impact
- information systems
- formal verification
- simple linear
- support vector regression
- regression analysis
- verification method
- regression algorithm
- regression method
- formal methods
- regression problems
- machine learning
- linear regression
- model checking
- video sequences
- website
- artificial intelligence