SAGE: Whitebox Fuzzing for Security Testing 论文
2012Queue引用 315
Software Testing and Debugging TechniquesAdvanced Malware Detection TechniquesSoftware Reliability and Analysis Research
摘要
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.