TY - GEN
T1 - Synthesizing, correcting and improving code, using model checking-based genetic programming
AU - Katz, Gal
AU - Peled, Doron
N1 - Place of conference:Haifa, Israel
PY - 2013
Y1 - 2013
N2 - The use of genetic programming, in combination of model checking and testing, 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. To cope with the constraints of model checking and of theorem proving, we combine such exhaustive verification methods with testing. We show several examples where we used our approach to synthesize, improve and correct code.
AB - The use of genetic programming, in combination of model checking and testing, 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. To cope with the constraints of model checking and of theorem proving, we combine such exhaustive verification methods with testing. We show several examples where we used our approach to synthesize, improve and correct code.
UR - http://www.scopus.com/inward/record.url?scp=84891841637&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-03077-7_17
DO - 10.1007/978-3-319-03077-7_17
M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???
AN - SCOPUS:84891841637
SN - 9783319030760
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 246
EP - 261
BT - Hardware and Software
PB - Springer Verlag
T2 - 9th Haifa Verification Conference, HVC 2013
Y2 - 5 November 2013 through 7 November 2013
ER -