fuzzing javascript engines with aspect-preserving mutation