Techniques for specifying bug patterns.

Daniel J. Quinlan, Richard W. Vuduc, Ghassan Misherghi

Browse the full ISSTA paper archive.