Login / Signup
Faridah Akinotcho
Publication Activity (10 Years)
Years Active: 2020-2020
Publications (10 Years): 1
Top Topics
Iterative Refinement
Data Abstraction
Programs Written
Concurrent Processes
Top Venues
ESEC/SIGSOFT FSE
</>
Publications
</>
Sahar Badihi
,
Faridah Akinotcho
,
Yi Li
,
Julia Rubin
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code.
ESEC/SIGSOFT FSE
(2020)