Mechanization of an Oracle in a Debugging System.

Anneli Edman, Sten-ke Trnlund

Browse the full IJCAI paper archive.