EXPLODE: A Lightweight, General System for Finding Serious Storage System Errors. - Junfeng Yang; Can Sar; Dawson R. Engler (OSDI, 2006)

Automatically Generating Malicious Disks using Symbolic Execution. - Junfeng Yang; Can Sar; Paul Twohey; Cristian Cadar; Dawson R. Engler (S&P, 2006)