Back to Results
First PageMeta Content
Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Mathematical optimization / Boolean satisfiability problem / Mutation / Genetic programming / Solver / Theoretical computer science / Applied mathematics / Mathematics


Using Genetic Improvement & Code Transplants to Specialise a C++ Program to a Problem Class Justyna Petke1 , Mark Harman1 , William B. Langdon1 , and Westley Weimer2 1 2
Add to Reading List

Document Date: 2014-07-05 17:14:07

Open Document

File Size: 310,75 KB

Share Result on Facebook

City

Charlottesville / /

Company

Intel / /

/

Facility

United Kingdom j.petke@ucl.ac.uk University of Virginia / University College London / /

IndustryTerm

software system / post-processing step / search space exploration / main solving algorithm / larger real world systems / greedy algorithm / main solver algorithm / multidonor software transplantation / software correctness / software behaviour / code bank / search space / software testing / software transplantation / improved software / /

MarketIndex

case 20 / CIT / case 100 / /

Organization

University of Virginia / University College London / London / /

Product

MiniSAT / /

ProgrammingLanguage

C++ / /

ProvinceOrState

Virginia / /

Technology

RAM / main solving algorithm / 2 Duo processor / greedy algorithm / transplantation / main solver algorithm / /

URL

http /

SocialTag