A delta debugger for JavaScript