MCGP: A Software Synthesis Tool Based on Model Checking and Genetic Programming.

Gal Katz, Doron A. Peled

Browse the full ATVA paper archive.