Mining behavior models from user-intensive web applications
Run-time efficient probabilistic model checking