Searching for authors named "Paul Twohey" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution
- …, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic…
- Cited by 8 (1 self) – Add To MetaCart
-
Using Model Checking to Find Serious File System Errors
- …Using Model Checking to Find Serious File System Errors Junfeng Yang, Paul Twohey, Dawson Engler…
- Cited by 62 (7 self) – Add To MetaCart
-
eXplode: A lightweight, general approach for finding serious errors in storage systems
- … Junfeng Yang, Paul Twohey, Ben Pfaff, Can Sar, Dawson Engler ∗ Computer Systems Laboratory Stanford…
- Cited by 4 (1 self) – Add To MetaCart
-
From uncertainty to belief: Inferring the specification within
- …From Uncertainty to Belief: Inferring the Specification Within Ted Kremenek † Paul Twohey † Godmar…
- Cited by 17 (0 self) – Add To MetaCart
-
Automatically generating malicious disks using symbolic execution
- …Automatically Generating Malicious Disks using Symbolic Execution Junfeng Yang, Can Sar, Paul…
- Cited by 17 (1 self) – Add To MetaCart
Showing 1 through 5.
