@inproceedings{088e35bf513f42ad907e078b344ef312,
title = "Synthesizing, correcting and improving code, using model checking-based genetic programming",
abstract = "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.",
author = "Gal Katz and Doron Peled",
note = "Place of conference:Haifa, Israel; 9th Haifa Verification Conference, HVC 2013 ; Conference date: 05-11-2013 Through 07-11-2013",
year = "2013",
doi = "https://doi.org/10.1007/978-3-319-03077-7_17",
language = "الإنجليزيّة",
isbn = "9783319030760",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "246--261",
booktitle = "Hardware and Software",
address = "ألمانيا",
}