![](https://www.pdfsearch.io/img/0f119fea6d00f806644124ff2b6f7dcd.jpg) 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.eduAdd to Reading ListSource URL: www.cs.berkeley.eduDownload Document from Source Website File Size: 361,13 KBShare Document on Facebook
|