Mining temporal specifications for error detection (2005)

by W Weimer, G Necula
Venue:In TACAS