A generic, modular, and extensible protocol state fuzzer for network protocol implementations.