A Sketching-Based Approach for Debugging Using Test Cases.

Jinru Hua, Sarfraz Khurshid

Browse the full ATVA paper archive.