An automated framework for functional testing crawlers of Crawljax.