Model and program repair via SAT solving.

Paul C. Attie, Ali Cherri, Kinan Dak-Al-Bab, Mouhammad Sakr, Jad Saklawi

Browse the full MEMOCODE paper archive.