Mayday workshop at School of Computing, National University of Singapore: Stateful Greybox Fuzzing.