Cargando…

Genetic Programming [Formula: see text] Proof Search [Formula: see text] Automatic Improvement

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 code. Previous work in this area has no...

Descripción completa

Detalles Bibliográficos
Autores principales: Kocsis, Zoltan A., Swan, Jerry
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2017
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6044322/
https://www.ncbi.nlm.nih.gov/pubmed/30069068
http://dx.doi.org/10.1007/s10817-017-9409-5