Modeling presentation layers of web applications for testing