www.prismmodelchecker.org
[GPST14] Carlo Ghezzi, Mauro Pezzè, Michele Sama and Giordano Tamburrelli. Mining Behavior Models from User-Intensive Web Applications. In Proc. ICSE'14. 2014. [Proposes techniques to infer probabilistic behaviour models from web application logs and analyses the models using PRISM.]
Links: [Google] [Google Scholar]

Publications