Crawl-Based Analysis of Web Applications: Prospects and Challenges