Mining behavior models from user-intensive web applications.