Reversing: an essential heuristic in program and proof design.

David Ginat, Michal Armoni

Browse the full SIGCSE paper archive.