Published August 1, 2016 at 800 × 600 in A fuzzer and a symbolic executor walk into a cloud