Fuzzing the ActionScript virtual machine
detecting communication protocol security flaws by formal fuzz testing and machine learning .