Thomas Helmuth, Lee Spector, Edward E. Pantridge. Counterexample-driven genetic programming without formal specifications. In Carlos Artemio Coello Coello, editor, GECCO '20: Genetic and Evolutionary Computation Conference, Cancún, Mexico, July 8-12, 2020. pages 239-240, ACM, 2020. [doi]
Abstract is missing.