A skeleton fuzzing framework for Javascript