Automatic Synthesis of Code Using Genetic Programming

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

  author =       "Doron Peled",
  title =        "Automatic Synthesis of Code Using Genetic
  booktitle =    "7th International Symposium on Leveraging Applications
                 of Formal Methods, Verification and Validation, ISoLA
  year =         "2016",
  editor =       "Tiziana Margaria and Bernhard Steffen",
  volume =       "9952",
  series =       "Lecture Notes in Computer Science",
  pages =        "182--187",
  address =      "Corfu, Greece",
  month =        oct # " 10-14",
  organisation = "EASST",
  publisher =    "Springer",
  keywords =     "genetic algorithms, genetic programming",
  isbn13 =       "978-3-319-47166-2",
  DOI =          "doi:10.1007/978-3-319-47166-2_12",
  size =         "6 pages",
  abstract =     "Correct-by-design automatic system construction can
                 relieve both programmers and quality engineers from
                 part of their tasks. Classical program synthesis
                 involves a series of transformations, starting with the
                 given formal specification. However, this approach is
                 often prohibitively intractable, and in some cases
                 undecidable. Model-checking-based genetic programming
                 provides a method for software synthesis; it uses
                 randomization, together with model checking, to
                 heuristically search for code that satisfies the given
                 specification. We present model checking based genetic
                 programming as an alternative to classical
                 transformational synthesis and study its weakness and
  notes =        "MCGP automatically synthesize software code, LTL

                 Author Affiliations 15. Department of Computer Science,
                 Bar Ilan University, 52900, Ramat Gan, Israel",

Genetic Programming entries for Doron A Peled