@inproceedings{dfc5f1b558ed4323b1362a7462de4612,
title = "Automatic synthesis of code using genetic programming",
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-checkingbased 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.",
author = "Doron Peled",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing AG 2016.; 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 ; Conference date: 10-10-2016 Through 14-10-2016",
year = "2016",
doi = "10.1007/978-3-319-47166-2_12",
language = "الإنجليزيّة",
isbn = "9783319471655",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "182--187",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation",
address = "ألمانيا",
}