Heuristic and Formal Methods in Automatic Program Debugging.

William R. Murray

Browse the full IJCAI paper archive.