@Inproceedings{EPTCS140.5, author = {Katz, Gal and Peled, Doron}, year = {2014}, title = {Synthesis of Parametric Programs using Genetic Programming and Model Checking}, editor = {Holik, Lukas and Clemente, Lorenzo}, booktitle = {{\rm Proceedings 15th International Workshop on} Verification of Infinite-State Systems, {\rm Hanoi, Vietnam, 14th October 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {140}, publisher = {Open Publishing Association}, pages = {70-84}, doi = {10.4204/EPTCS.140.5}, }