Dynamic Model Extraction and Statistical Analysis of Web Applications