Ella Bounimova

Publication Activity (10 Years)

Years Active: 2006-2013
Publications (10 Years): 0

Top Topics

Information Retrieval

Linear Constraints

Top Venues

Publications

Ella Bounimova, Patrice Godefroid, David A. Molnar
Billions and billions of constraints: whitebox fuzz testing in production. ICSE (2013)
Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg
The Static Driver Verifier Research Platform. CAV (2010)
Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin
SLAM2: Static driver verification with under 4% false alarms. FMCAD (2010)
Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner
Thorough static analysis of device drivers. EuroSys (2006)