Crawljax: Crawling Ajax-based Web Applications