 | 2006 |
|---|
| 4 |       | Junfeng Yang,
Can Sar,
Paul Twohey,
Cristian Cadar,
Dawson R. Engler:
Automatically Generating Malicious Disks using Symbolic Execution.
IEEE Symposium on Security and Privacy 2006: 243-257 |
| 3 | | Ted Kremenek,
Paul Twohey,
Godmar Back,
Andrew Y. Ng,
Dawson R. Engler:
From Uncertainty to Belief: Inferring the Specification Within.
OSDI 2006: 161-176 |
| 2 | | Junfeng Yang,
Paul Twohey,
Dawson R. Engler,
Madanlal Musuvathi:
Using model checking to find serious file system errors.
ACM Trans. Comput. Syst. 24(4): 393-423 (2006) |
| 2004 |
|---|
| 1 | | Junfeng Yang,
Paul Twohey,
Dawson R. Engler,
Madanlal Musuvathi:
Using Model Checking to Find Serious File System Errors (Awarded Best Paper!).
OSDI 2004: 273-288 |
