Back to Results
First PageMeta Content
Software quality / Fuzz testing / Symbolic execution / Software bug / Sage / Constraint programming / Security bug / Vulnerability / Concolic testing / Software testing / Software engineering / Computing


Document Date: 2012-03-05 17:25:15

Open Document

File Size: 3,08 MB

Share Result on Facebook

City

Seattle / /

Company

Bell Laboratories / Microsoft Most Co / Microsoft Press / /

Currency

USD / cent / /

/

IndustryTerm

static-analysis tools / generational search / electricity / software security / large applications / data mining / breadth-first search / search techniques / directedsearch algorithm / media players / image processors / search space / dual-core processor / The software / secure software / energy / repeated using novel search techniques / /

OperatingSystem

Windows Vista / Windows 7 / Microsoft Windows / Windows NT / /

Organization

Windows Azure Monitoring and Diagnostics Service / National Aeronautics and Space Administration / /

Person

Michael Y. Levin / Code Coverage (Nirvana) / David Molnar / Patrice Godefroid / David Molinar / Richard Ford / Alex Sotirov / John Viega / James A. Whittaker / Herbert H. Thompson / /

Position

principal researcher / principal development manager in the Windows Azure Engineering Infrastructure team / researcher / /

ProvinceOrState

Washington / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

cryptography / RAM / directedsearch algorithm / image processors / data mining / caching / operating system / html / /

URL

http /

SocialTag