Biblio

Export 2 results:
Filters: Author is Paul Twohey  [Clear All Filters]
2006
Kremenek T, Twohey P, Back G, Ng A.  2006.  From Uncertainty to Belief: Inferring the Specification Within. 7th {USENIX} Symposium on Operating Systems Design and Implementation ({OSDI} 06).
2004
Yang J, Twohey P, Engler D, Musuvathi M.  2004.  Using Model Checking to Find Serious File System Errors. 6th Symposium on Operating Systems Design & Implementation ({OSDI} 04).