Crawljax: Crawling JavaScript-based Web Applications