Biblio

Export 1 results:
Sort by:
Filters: Author is Ted Kremenek  [Clear All Filters]
2006
Kremenek, T., P. Twohey, G. Back, D. Engler, and A. Ng, "From Uncertainty to Belief: Inferring the Specification Within", accepted to Seventh Symposium on Operating Systems Design and Implementation (OSDI '06), Seattle, WA, USENIXASSOC, pp. 161–176, 2006.