ReAjax: a reverse engineering tool for Ajax Web applications