Fuzzing the ActionScript virtual machine
Grammar-based whitebox fuzzing