Paul C. Attie Ali Cherri Kinan Dak-Al-Bab Mouhammad Sakr Jad Saklawi Model and program repair via SAT solving. 148-157 2015 MEMOCODE https://doi.org/10.1109/MEMCOD.2015.7340481 conf/memocode/2015 db/conf/memocode/memocode2015.html#AttieCBSS15