MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming

Created by W.Langdon from gp-bibliography.bib Revision:1.3872

@InProceedings{DBLP:conf/atva/KatzP10,
  author =       "Gal Katz and Doron Peled",
  title =        "{MCGP}: A Software Synthesis Tool Based on Model
                 Checking and Genetic Programming",
  booktitle =    "8th International Symposium on Automated Technology
                 for Verification and Analysis, ATVA 2010",
  year =         "2010",
  editor =       "Ahmed Bouajjani and Wei-Ngan Chin",
  series =       "Lecture Notes in Computer Science",
  volume =       "6252",
  pages =        "359--364",
  address =      "Singapore",
  month =        sep # " 21-24",
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming",
  isbn13 =       "978-3-642-15642-7",
  DOI =          "doi:10.1007/978-3-642-15643-4_28",
  size =         "6 pages",
  abstract =     "We present our MCGP tool for generating and correcting
                 code, based on our synthesis approach combining deep
                 Model Checking and Genetic Programming. Given an LTL
                 specification, genetic programming is used for
                 generating new candidate solutions, while deep model
                 checking is used for calculating to what extent (i.e.,
                 not only whether) a candidate solution program
                 satisfies a property. The main challenge is to
                 construct from the result of the deep model checking a
                 fitness function that has a good correlation with the
                 distance of the candidate program from a correct
                 solution. The tool allows the user to control various
                 parameters, such as the syntactic building blocks, the
                 structure of the programs, and the fitness function,
                 and to follow their effect on the convergence of the
                 synthesis process.",
  bibsource =    "DBLP, http://dblp.uni-trier.de",
  notes =        "ATVA MCGP tool",
}

Genetic Programming entries for Gal Katz Doron A Peled

Citations