Crawljax: Crawling JavaScript-based Ajax Web Applications