Stateful protocol fuzzing with statemap-based reverse state selection.