Counterexample-driven genetic programming without formal specifications.

Thomas Helmuth, Lee Spector, Edward R. Pantridge

Browse the full GECCO paper archive.