Automatic synthesis of code using genetic programming

Doron Peled

doi:10.1007/978-3-319-47166-2_12

Automatic synthesis of code using genetic programming

Doron Peled

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Scopus citations

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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation
Subtitle of host publication	Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings
Editors	Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	182-187
Number of pages	6
ISBN (Print)	9783319471655
DOIs	https://doi.org/10.1007/978-3-319-47166-2_12
State	Published - 2016
Event	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Imperial, Corfu, Greece Duration: 10 Oct 2016 → 14 Oct 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9952 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Country/Territory	Greece
City	Imperial, Corfu
Period	10/10/16 → 14/10/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing AG 2016.

Funding

D. Peled—The research was supported in part by ISF grant 126/12 “Efficient Synthesis Method of Control for Concurrent Systems”.

Funders	Funder number
Israel Science Foundation	126/12

Access to Document

10.1007/978-3-319-47166-2_12

Cite this

Peled, D. (2016). Automatic synthesis of code using genetic programming. In T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings (pp. 182-187). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9952 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-319-47166-2_12

Peled, Doron. / Automatic synthesis of code using genetic programming. Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. editor / Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2016. pp. 182-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{1de08cb338fc4bedbdb0aa587f9bfc85,

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 = "גרמניה",

}

Peled, D 2016, Automatic synthesis of code using genetic programming. in T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9952 LNCS, Springer Verlag, pp. 182-187, 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, Imperial, Corfu, Greece, 10/10/16. https://doi.org/10.1007/978-3-319-47166-2_12

Automatic synthesis of code using genetic programming. / Peled, Doron.
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. ed. / Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2016. p. 182-187 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9952 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Automatic synthesis of code using genetic programming

AU - Peled, Doron

PY - 2016

Y1 - 2016

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84994004744&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-47166-2_12

DO - 10.1007/978-3-319-47166-2_12

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:84994004744

SN - 9783319471655

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 182

EP - 187

BT - Leveraging Applications of Formal Methods, Verification and Validation

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016

Y2 - 10 October 2016 through 14 October 2016

ER -

Peled D. Automatic synthesis of code using genetic programming. In Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Springer Verlag. 2016. p. 182-187. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-47166-2_12

Automatic synthesis of code using genetic programming

Abstract

Publication series

Conference

Bibliographical note

Funding

Access to Document

Other files and links

Fingerprint

Cite this