Ella Bounimova

According to our database, Ella Bounimova authored at least 4 papers between 2006 and 2013.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2013

Billions and billions of constraints: whitebox fuzz testing in production.

Ella Bounimova, Patrice Godefroid, David A. Molnar

Proceedings of the 35th International Conference on Software Engineering, 2013

2010

SLAM2: Static driver verification with under 4% false alarms.

Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

The Static Driver Verifier Research Platform.

Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2006

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

Proceedings of the 2006 EuroSys Conference, Leuven, Belgium, April 18-21, 2006, 2006