Mining Temporal Specifications for Error Detection (2005)

by Westley Weimer , George C. Necula
Venue:In TACAS
Citations:83 - 4 self