Genetic programming + proof search = automatic improvement

DOI10.1007/S10817-017-9409-5MaRDI QIDQ682376zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Zoltan A. Kocsis, Jerry Swan

Publication date 2 February 2018

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s10817-017-9409-5

zbMATH Keywords

genetic programmingsearch based software engineeringprogram synthesissoftware maintenance

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1402209
• A GENETIC ALGORITHM FOR IMPROVING ACCURACY OF SOFTWARE QUALITY PREDICTIVE MODELS: A SEARCH-BASED SOFTWARE ENGINEERING APPROACH
• Acquisition of Software Engineering Knowledge
• Constraint-based fitness function for search-based software testing
• scientific article; zbMATH DE number 5997244

Cites work

• scientific article; zbMATH DE number 4147469 (Why is no real title available?)
• scientific article; zbMATH DE number 42059 (Why is no real title available?)
• scientific article; zbMATH DE number 107664 (Why is no real title available?)
• scientific article; zbMATH DE number 977284 (Why is no real title available?)
• scientific article; zbMATH DE number 795587 (Why is no real title available?)
• A Methodology for LISP Program Construction from Examples
• Categories for Software Engineering
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• Dependently typed programming in Agda
• Finger trees: a simple general-purpose data structure
• Introduction to algorithms.
• Provable isomorphisms of types

Cited in

(1)

• scientific article; zbMATH DE number 1738681 (Why is no real title available?)

Describes a project that uses

Uses Software

• Apache Spark
• Gen-O-Fix
• Djinn
• GenProg
• Agda
• Hadoop
• Scala

This page was built for publication: Genetic programming \(+\) proof search \(=\) automatic improvement

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q682376)