You are here

Using Genetic Improvement & Code Transplants to Specialise

Abstract: 
Genetic Improvement (GI) is a form of Genetic Programming that improves an existing program. We use GI to evolve a faster version of a C++ program, a Boolean satisfiability (SAT) solver called MiniSAT, specialising it for a particular problem class, namely Combinatorial Interaction Testing (CIT), using automated code transplantation. Our GI-evolved solver achieves overall 17% improvement, making it comparable with average expert human performance. Additionally, this automatically evolved solver is faster than any of the human-improved solvers for the CIT problem.
Speaker Name: 
Justyna Petke
Speaker Bio: 
Research associate at University College London
Speaker Photo: 
Seminar Date: 
Friday, 23 January, 2015 (All day)
Seminar Location: 
UCC
Presentation Upload: