Genetic Improvement for Software Product Lines
Inferring Temporal Properties of Finite-State Machine Models with Genetic Programming