Browser fuzzing by scheduled mutation and generation of document object models
CRAX: Software Crash Analysis for Automatic Exploit Generation by Modeling Attacks as Symbolic Continuations