Seattle / Budapest / New York / Venice / Honolulu / San Diego / Chicago / San Jose / /
Company
Amazon / Adobe / Google / Microsoft Press / Intel / /
Country
United States / /
Facility
SAGE pipeline / running SAGE / /
IndustryTerm
generational search / generational search strategy / trace replay infrastructure / web browser / systematic state-space search techniques / breadth-first search / web service / image processors / search algorithm / software systems / temporary networking problem / web front end / whitebox fuzzing infrastructure / summary web front end / large applications / dynamic test generation tools / search techniques / Follow-on tools / diverse applications / media players / Internet Information Server / automated real-world software / across applications / search space / secure software / repeated using search techniques / repeated using systematic state-space search techniques / /
OperatingSystem
Unix / VMs / Windows 7 / Linux / Windows Server 2008 / Microsoft Windows / Windows NT / /
Person
V. Chipounov / V / C. Cadar / V / Jon Howell / S. Bucur / V / Stuart Schecter / Rich Draves / Helen Wang / Mehdi Bouaziz / /
Position
Senator / /
Product
Windows 7 / /
ProgrammingLanguage
SQL / Microsoft SQL Server / /
ProvinceOrState
New York / /
PublishedMedium
Communications of the ACM / Lecture Notes in Computer Science / /
Technology
search algorithm / Unix / Linux / operating system / html / image processors / http / caching / Flash / /
Billions and Billions of Constraints: Whitebox Fuzz Testing in Production Ella Bounimova Patrice Godefroid