Counterexample-driven genetic programming.

Krzysztof Krawiec, Iwo Bladek, Jerry Swan

Browse the full GECCO paper archive.