Mining Temporal Speciﬁcations for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula - George Berkeley - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-10-29 12:59:23		Mining Temporal Speciﬁcations for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula}@cs.berkeley.edu Add to Reading List Source URL: www.cs.berkeley.edu Download Document from Source Website File Size: 361,13 KB Share Document on Facebook