Genetic Programming [Formula: see text] Proof Search [Formula: see text] Automatic Improvement
{{output}}
Search Based Software Engineering techniques are emerging as important tools for software maintenance. Foremost among these is Genetic Improvement, which has historically applied the stochastic techniques of Genetic Programming to optimize pre-existing program... ...