Test data generation for stateful network protocol fuzzing using a rule-based state machine | TUP Journals & Magazine | IEEE Xplore