Systematically Applying High-Level Mutations for Fuzz Testing Big Data Applications