Ella Bounimova
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2006–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ICSE | Billions and billions of constraints: whitebox fuzz testing in production. | Ella Bounimova, Patrice Godefroid, David A. Molnar |
| 2010 | CAV | The Static Driver Verifier Research Platform. | Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg |
| 2010 | FMCAD | SLAM2: Static driver verification with under 4% false alarms. | Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin |
| 2006 | EuroSys | Thorough static analysis of device drivers. | Thomas Ball, Ella Bounimova, Byron Cook, Vladimir Levin, Jakob Lichtenberg, Con McGarvey, Bohus Ondrusek, Sriram K. Rajamani, Abdullah Ustuner |