Thorough static analysis of device drivers. - Thomas Ball 001; Ella Bounimova; Byron Cook; Vladimir Levin; Jakob Lichtenberg; Con McGarvey; Bohus Ondrusek; Sriram K. Rajamani; Abdullah Ustuner (EuroSys, 2006)

The Static Driver Verifier Research Platform. - Thomas Ball 001; Ella Bounimova; Vladimir Levin; Rahul Kumar 002; Jakob Lichtenberg (CAV, 2010)

SLAM2: Static driver verification with under 4% false alarms. - Thomas Ball 001; Ella Bounimova; Rahul Kumar 002; Vladimir Levin (FMCAD, 2010)

Billions and billions of constraints: whitebox fuzz testing in production. - Ella Bounimova; Patrice Godefroid; David A. Molnar (ICSE, 2013)