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	Meta Content
	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 Document Date: 2010-10-29 12:59:23 Open Document File Size: 361,13 KB Share Result on Facebook

Mining Temporal Speciﬁcations for Error Detection Westley Weimer and George C. Necula University of California, Berkeley {weimer, necula}@cs.berkeley.eduAdd to Reading List