Automatic Test Pattern Generator for Fuzzing Based on Finite State Machine

Figure 3

The FSM transformed from regular expression /a@b+/.