The anti-human approach to JavaScript testing