Mining Temporal Specifications for Error Detection.

Westley Weimer, George C. Necula

Browse the full TACAS paper archive.