Genetic programming + proof search = automatic improvement

DOI10.1007/S10817-017-9409-5zbMATH Open1425.68076DBLPjournals/jar/KocsisS18OpenAlexW2594171547WikidataQ64956725 ScholiaQ64956725MaRDI QIDQ682376FDOQ682376

Authors: Zoltan A. Kocsis, Jerry Swan 

Publication date: 2 February 2018

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

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

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

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)

Cites Work

• Dependently typed programming in Agda
• Title not available (Why is that?)
• Introduction to algorithms.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categories for Software Engineering
• Title not available (Why is that?)
• Cut-elimination and a permutation-free sequent calculus for intuitionistic logic
• Finger trees: a simple general-purpose data structure
• Provable isomorphisms of types
• A Methodology for LISP Program Construction from Examples

Cited In (1)

• Title not available (Why is that?)

Uses Software

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

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)