Visiting Ting Su’s group at East China Normal University: Stateful Greybox Fuzzing.