Synthesizing, correcting and improving code, using model checking-based genetic programming

Gal Katz; Doron Peled

doi:10.1007/s10009-016-0418-1

Synthesizing, correcting and improving code, using model checking-based genetic programming

Gal Katz, Doron Peled

Research output: Contribution to journal › Article › peer-review

10 Scopus citations

Abstract

We show here how the use of genetic programming in combination of model checking provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. We show several examples where we used our approach to synthesize, improve and correct code.

Original language	English
Pages (from-to)	449-464
Number of pages	16
Journal	International Journal on Software Tools for Technology Transfer
Volume	19
Issue number	4
DOIs	https://doi.org/10.1007/s10009-016-0418-1
State	Published - 1 Aug 2017

Bibliographical note

Publisher Copyright:
© 2016, Springer-Verlag Berlin Heidelberg.

Funding

The research of the 2nd author was supported in part by ISF grant 1262/09 “Synthesis of programs using combination of verification and genetic programming.

Funders	Funder number
Israel Science Foundation	1262/09

Keywords

Genetic programming
Model checking
Synthesis

Access to Document

10.1007/s10009-016-0418-1

Cite this

@article{56900cac034d46e09d3e023cae6b1a93,

title = "Synthesizing, correcting and improving code, using model checking-based genetic programming",

abstract = "We show here how the use of genetic programming in combination of model checking provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. We show several examples where we used our approach to synthesize, improve and correct code.",

keywords = "Genetic programming, Model checking, Synthesis",

author = "Gal Katz and Doron Peled",

note = "Publisher Copyright: {\textcopyright} 2016, Springer-Verlag Berlin Heidelberg.",

year = "2017",

month = aug,

day = "1",

doi = "10.1007/s10009-016-0418-1",

language = "אנגלית",

volume = "19",

pages = "449--464",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Springer Verlag",

number = "4",

}

TY - JOUR

T1 - Synthesizing, correcting and improving code, using model checking-based genetic programming

AU - Katz, Gal

AU - Peled, Doron

PY - 2017/8/1

Y1 - 2017/8/1

N2 - We show here how the use of genetic programming in combination of model checking provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. We show several examples where we used our approach to synthesize, improve and correct code.

AB - We show here how the use of genetic programming in combination of model checking provides a powerful way to synthesize programs. Whereas classical algorithmic synthesis provides alarming high complexity and undecidability results, the genetic approach provides a surprisingly successful heuristics. We describe several versions of a method for synthesizing sequential and concurrent systems. We show several examples where we used our approach to synthesize, improve and correct code.

KW - Genetic programming

KW - Model checking

KW - Synthesis

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

U2 - 10.1007/s10009-016-0418-1

DO - 10.1007/s10009-016-0418-1

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84961778226

SN - 1433-2779

VL - 19

SP - 449

EP - 464

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 4

ER -

Synthesizing, correcting and improving code, using model checking-based genetic programming

Abstract

Bibliographical note

Funding

Keywords

Access to Document

Other files and links

Fingerprint

Cite this