Concepedia

Ella Bounimova

EB

6

Publications

759

Citations

6

H-Index

2006

Active since

Affiliations

Microsoft (United States)(Current)

Microsoft (Finland)

Ella Bounimova is an author at Microsoft (United States) specializing in software engineering, computer science, and program analysis.

Top concepts

Publications per year

2006–2013

6

Publications

6

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · 2006 · 376 citations

, , +19

Billions and billions of constraints: whitebox fuzz testing in production

Ella Bounimova, Patrice Godefroid, Dávid Molnár · International Conference on Software Engineering · 2013 · 116 citations

, , +21

Thorough static analysis of device drivers

Thomas Ball, Ella Bounimova, Byron Cook et al. · ACM SIGOPS Operating Systems Review · 2006 · 94 citations

, , +19

Billions and billions of constraints: Whitebox fuzz testing in production

Ella Bounimova, Patrice Godefroid, Dávid Molnár · 2013 35th International Conference on Software Engineering (ICSE) · 2013 · 87 citations

, , +21

SLAM2: static driver verification with under 4% false alarms

Thomas Ball, Ella Bounimova, Rahul Kumar et al. · Formal Methods in Computer-Aided Design · 2010 · 74 citations

, , +22

Rows per page

1–5 of 6