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).