From uncertainty to belief: Inferring the specification within. (2006)

by T Kremenek, P Twohey, G Back, A Ng, D Engler
Venue:In Proc. of the Symposium on Operating Systems Design and Implementation,