Patrice Godefroid, Michael Y. Levin, David A. Molnar: SAGE: Whitebox Fuzzing for Security Testing. ACM Queue 10(1): 20 (2012)