Login / Signup
Dennis Felsing
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Locally Weighted
Ridge Regression
Support Vector Regression
Model Checking
Top Venues
Software Engineering & Management
ASE
</>
Publications
</>
Dennis Felsing
,
Sarah Grebing
,
Vladimir Klebanov
,
Philipp Rümmer
,
Mattias Ulbrich
Automating Regression Verification.
Software Engineering & Management
(2015)
Dennis Felsing
,
Sarah Grebing
,
Vladimir Klebanov
,
Philipp Rümmer
,
Mattias Ulbrich
Automating regression verification.
ASE
(2014)