Counterexample-Driven Genetic Programming: Stochastic Synthesis of Provably Correct Programs.

Krzysztof Krawiec, Iwo Bladek, Jerry Swan, John H. Drake

Browse the full IJCAI paper archive.