Behavioral Program Synthesis with Genetic Programming

• Κύριος συγγραφέας: Krawiec, Krzysztof (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Studies in Computational Intelligence, 618
• Θέματα: Engineering.; Software engineering.; Artificial intelligence.; Computational intelligence.; Computational Intelligence.; Artificial Intelligence (incl. Robotics).; Software Engineering/Programming and Operating Systems.

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...

Πίνακας περιεχομένων:

• 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.