Towards Specification-Directed Program Repair.

Richard Shin, Illia Polosukhin, Dawn Song

Browse the full ICLR paper archive.