Duel - a very high-level debugging language (1993)

by M Golan, D R Hanson
Venue:in USENIX Winter