Sabih Agbaria

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 1

Top Topics

Inconsistent Information

Program Comprehension

Top Venues

ACM SIGSOFT Softw. Eng. Notes

Publications

Sabih Agbaria, Joseph Gil
On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. ACM SIGSOFT Softw. Eng. Notes 40 (1) (2015)
Sabih Agbaria, Dan Carmi, Orly Cohen, Dmitry Korchemny, Michael Lifshits, Alexander Nadel
SAT-based semiformal verification of hardware. FMCAD (2010)