Future perspectives

Abstract

This book proposes a new conceptual perspective on generate-and-test program synthesis. The framework of behavioral program synthesis is intended to provide more information on candidate programs on one hand, and to make search algorithms capable of exploiting that information on the other. The core elements of that framework are execution records, behavioral search drivers, multi objective characterization, and code reuse. Experimental evidence in Chap. 10 and elsewhere proves this viable: behavioral insight into candidate programs is clearly beneficial. How can this take us further? What are the possible extensions? In this closing chapter, we outline a few prospective research directions.