Model and Program Repair via SAT Solvers - Paul C. Attie; Jad Saklawi (CoRR, 2007)

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