Mining Temporal Specifications for Error Detection. (2005)

by W Weimer, G Necula
Venue:In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS),