- author = "Doron Peled",
- title = "Automatic Synthesis of Code Using Genetic Programming",
- booktitle = "7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016",
- 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, genetic improvement",
- 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 strengths.",
-
notes = "MCGP automatically synthesize software code, LTL
Co-evolution
Author Affiliations 15. Department of Computer Science, Bar Ilan University, 52900, Ramat Gan, Israel",
