Mining temporal specifications for error detection (2005)

by W Weimer, G C Necula
Venue:In TACAS