Automated program repair using genetic programming and model checking

Zahra Zojaji, Behrouz Tork Ladani, Alireza Khalilian. Automated program repair using genetic programming and model checking. Appl. Intell., 45(4):1066-1088, 2016. [doi]

Abstract

Abstract is missing.