Travelled to:1 × USA
1 × United Kingdom
Collaborated with:P.Godefroid D.A.Molnar T.Ball V.Levin R.Kumar J.Lichtenberg
Talks about:billion (2) constraint (1) whitebox (1) research (1) platform (1) product (1) verifi (1) static (1) driver (1) test (1)
Person: Ella Bounimova
DBLP: Bounimova:Ella
Contributed to:
2013
2010Wrote 2 papers:
- ICSE-2013-BounimovaGM #constraints #testing
- Billions and billions of constraints: whitebox fuzz testing in production (EB, PG, DAM), pp. 122–131.
- CAV-2010-BallBLKL #framework #platform #research #verification
- The Static Driver Verifier Research Platform (TB, EB, VL, RK, JL), pp. 119–122.