From Uncertainty to Belief: Inferring the Specification Within

TitleFrom Uncertainty to Belief: Inferring the Specification Within
Publication TypeConference Paper
Year of Publication2006
AuthorsKremenek, T., P. Twohey, G. Back, D. Engler, and A. Ng
Conference Nameaccepted to Seventh Symposium on Operating Systems Design and Implementation (OSDI '06)
PublisherUSENIXASSOC
Conference LocationSeattle, WA