From Uncertainty to Belief: Inferring the Specification Within
| Title | From Uncertainty to Belief: Inferring the Specification Within |
| Publication Type | Conference Paper |
| Year of Publication | 2006 |
| Authors | Kremenek, T., P. Twohey, G. Back, D. Engler, and A. Ng |
| Conference Name | accepted to Seventh Symposium on Operating Systems Design and Implementation (OSDI '06) |
| Publisher | USENIXASSOC |
| Conference Location | Seattle, WA |