Genetic Improvement of Software: A Comprehensive Survey
Synthesizing, correcting and improving code, using model checking-based genetic programming