Login / Signup
Eva May
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 0
Top Topics
Abstract Interpretation
Dynamic Analysis
Population Size
Imperative Programs
Top Venues
CoRR
IEEE Trans. Software Eng.
Haifa Verification Conference
</>
Publications
</>
Juan P. Galeotti
,
Carlo A. Furia
,
Eva May
,
Gordon Fraser
,
Andreas Zeller
Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking.
IEEE Trans. Software Eng.
41 (10) (2015)
Juan P. Galeotti
,
Carlo A. Furia
,
Eva May
,
Gordon Fraser
,
Andreas Zeller
Automating Full Functional Verification of Programs with Loops.
CoRR
(2014)
Juan Pablo Galeotti
,
Carlo A. Furia
,
Eva May
,
Gordon Fraser
,
Andreas Zeller
DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification.
Haifa Verification Conference
(2014)