A Crawljax plugin for testing webapplications