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...
Main Author: | |
---|---|
Corporate Author: | |
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.