![](/img/cover-not-exists.png)
Synthesizing, correcting and improving code, using model checking-based genetic programming
Katz, Gal, Peled, DoronLanguage:
english
Journal:
International Journal on Software Tools for Technology Transfer
DOI:
10.1007/s10009-016-0418-1
Date:
March, 2016
File:
PDF, 735 KB
english, 2016