Loading…

Behavioral Program Synthesis with Genetic Programming

Genetic programming (GP) is a popular heuristic methodology of program synthesis with origins in evolutionary computation. In this generate-and-test approach, candidate programs are iteratively produced and evaluated. The latter involves running programs on tests, where they exhibit complex behavior...

Full description

Bibliographic Details
Main Author: Krawiec, Krzysztof (Author)
Corporate Author: SpringerLink (Online service)
Format: e-Book
Language:English
Published: Cham : Springer International Publishing : 2016.
Imprint: Springer,
Edition:1st ed. 2016.
Series:Studies in Computational Intelligence, 618
Subjects:
Online Access:Full-text access
Table of Contents:
  • Program Synthesis
  • Limitations of Conventional Program Evaluation
  • The Framework of Behavioral Program Synthesis
  • Behavioral Assessment of Test Difficulty
  • Semantic Genetic Programming
  • Synthesizing Programs with Consistent Execution Traces
  • Pattern-guided Program Synthesis
  • Behavioral Code Reuse
  • Search Drivers
  • Experimental Assessment of Search Drivers
  • Implications of the Behavioral Perspective
  • Future Perspectives.