Automated Debugging Using Path-Based Weakest Preconditions.

Haifeng He, Neelam Gupta

Browse the full FASE paper archive.