Hybrid Fuzz Testing: Discovering Software Bugs via Fuzzing and Symbolic Execution
detecting communication protocol security flaws by formal fuzz testing and machine learning .