Patrice Godefroid, Michael Y. Levin, D. Molnar
2012.1.11Queue
tlooto Summary
If you are reading these lines on a PC running some form of Windows, then you have been affected by this line of work—without knowing it, which is precisely the way the authors want it to be.
Abstract
Most ACM Queue readers might think of "program verification research" as mostly theoretical with little impact on the world at large. Think again. If you are reading these lines on a PC running some form of Windows (like 93-plus percent of PC users--that is, more than a billion people), then you have been affected by this line of work--without knowing it, which is precisely the way we want it to be.
Citation format
GODEFROID, Patrice; LEVIN, Michael Y.; MOLNAR, D. SAGE: Whitebox fuzzing for security testing. Queue, 2012, 10: 20–27.