Model and program repair via SAT solving. - Paul C. Attie; Ali Cherri; Kinan Dak-Al-Bab; Mouhammad Sakr; Jad Saklawi (MEMOCODE, 2015)