Testcase reduction: automate test verification of javascript error with selenium.