PULSAR: Stateful Black-Box Fuzzing of Proprietary Network Protocols
Tupni: automatic reverse engineering of input formats