SAT-based semiformal verification of hardware. - Sabih Agbaria; Dan Carmi; Orly Cohen; Dmitry Korchemny; Michael Lifshits; Alexander Nadel (FMCAD, 2010)

On Incomplete Bug Fixes in Eclipse and Programmers' Intuition on These. - Sabih Agbaria; Joseph Gil (ACM SIGSOFT Softw. Eng. Notes, 2015)