From uncertainty to belief: inferring the specification within (2006)

by T Kremenek, P Twohey, G Back, A Ng, D Engler
Venue:In USENIX’06: Proceedings of the 7th conference on USENIX Symposium on Operating Systems Design and Implementation