Login / Signup
Sayali Salvi
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Model Based Testing
Abstract Interpretation
Symbolic Execution
False Alarm Rate
Top Venues
EDCC
SAFECOMP Workshops
</>
Publications
</>
Sayali Salvi
,
Daniel Kästner
,
Christian Ferdinand
,
Tom Bienmüller
Exploiting Synergies between Static Analysis and Model-Based Testing.
EDCC
(2015)
Sayali Salvi
,
Daniel Kästner
,
Tom Bienmüller
,
Christian Ferdinand
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.
SAFECOMP Workshops
(2014)