DUEL - A Very High-Level Debugging Language.

Michael Golan, David R. Hanson

Browse the full USENIX paper archive.