Synthesizing, correcting and improving code, using model checking-based genetic programming
Putting More Genetics into Genetic Algorithms