Program Generation Using Simulated Annealing and Model Checking

Husien, Idress and Schewe, Sven ORCID: 0000-0002-9093-9518 (2016) Program Generation Using Simulated Annealing and Model Checking. .

Text paper_63.pdf - Author Accepted Manuscript Download (478kB)

Abstract

Program synthesis can be viewed as an exploration of the search space of candidate programs in pursuit of an implementation that satisfies a given property. Classic synthesis techniques facilitate exhaustive search, while genetic programming has recently proven the potential of generic search techniques. But is genetic programming the right search technique for the synthesis problem? In this paper we challenge this belief and argue in favor of simulated annealing, a different class of general search techniques. We show that, in hindsight, the success of genetic programming has drawn from what is arguably a hybrid between simulated annealing and genetic programming, and compare the fitness of classic genetic programming, the hybrid form, and pure simulated annealing. Our experimental evaluation suggests that pure simulated annealing offers better results for automated programming than techniques based on genetic programming.

Item Type:	Conference or Workshop Item (Unspecified)
Uncontrolled Keywords:	Genetics
Depositing User:	Symplectic Admin
Date Deposited:	01 Feb 2017 11:42
Last Modified:	15 Mar 2024 09:05
DOI:	10.1007/978-3-319-41591-8_11
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3005464