{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,20]],"date-time":"2026-01-20T02:24:26Z","timestamp":1768875866423,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568234","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"277-287","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Mining behavior models from user-intensive web applications"],"prefix":"10.1145","author":[{"given":"Carlo","family":"Ghezzi","sequence":"first","affiliation":[{"name":"Politecnico di Milano, Italy"}]},{"given":"Mauro","family":"Pezz\u00e8","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}]},{"given":"Michele","family":"Sama","sequence":"additional","affiliation":[{"name":"Touchtype, UK"}]},{"given":"Giordano","family":"Tamburrelli","sequence":"additional","affiliation":[{"name":"University of Lugano, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Google Analytics. http:\/\/www.google.com\/intl\/en\/analytics\/.  Google Analytics. http:\/\/www.google.com\/intl\/en\/analytics\/."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287630"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-40903-8_8"},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking. The MIT Press, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595719"},{"key":"e_1_3_2_1_6_1","first-page":"261","volume-title":"ICSE","author":"Beschastnikh I.","unstructured":"I. Beschastnikh , Y. Brun , J. Abrahamson , M. D. Ernst , and A. Krishnamurthy . Unifying fsm-inference algorithms through declarative specification . In ICSE , pages 252\u2013 261 . IEEE Press, 2013. I. Beschastnikh, Y. Brun, J. Abrahamson, M. D. Ernst, and A. Krishnamurthy. Unifying fsm-inference algorithms through declarative specification. In ICSE, pages 252\u2013261. IEEE Press, 2013."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187836.2187919"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/287000.287001"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985846"},{"key":"e_1_3_2_1_11_1","volume-title":"Probability and Statistics-International Edition","author":"DeGroot M.","year":"2001","unstructured":"M. DeGroot and M. Schervish . Probability and Statistics-International Edition . Addison-Wesley. Publishing. Company ., Reading, Massachusetts, 2001 . M. DeGroot and M. Schervish. Probability and Statistics-International Edition. Addison-Wesley. Publishing. Company., Reading, Massachusetts, 2001."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.08.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514185"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"e_1_3_2_1_15_1","first-page":"59","volume-title":"Assurances for Self-Adaptive Systems","author":"Filieri A.","unstructured":"A. Filieri and G. Tamburrelli . Probabilistic verification at runtime for self-adaptive systems . In Assurances for Self-Adaptive Systems , pages 30\u2013 59 . Springer, 2013. A. Filieri and G. Tamburrelli. Probabilistic verification at runtime for self-adaptive systems. In Assurances for Self-Adaptive Systems, pages 30\u201359. Springer, 2013."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1368088.1368094"},{"key":"e_1_3_2_1_17_1","volume-title":"A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512\u2014535","author":"Hansson H.","year":"1994","unstructured":"H. Hansson and B. Jonsson . A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512\u2014535 , 1994 . H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal aspects of computing, 6(5):512\u2014535, 1994."},{"key":"e_1_3_2_1_18_1","first-page":"85","volume-title":"Hardware and Software: Verification and Testing","author":"Jansen D. N.","unstructured":"D. N. Jansen , J.-P. Katoen , M. Oldenkamp , M. Stoelinga , and I. Zapreev . How fast and fat is your probabilistic model checker? an experimental performance comparison . In Hardware and Software: Verification and Testing , pages 69\u2013 85 . Springer, 2008. D. N. Jansen, J.-P. Katoen, M. Oldenkamp, M. Stoelinga, and I. Zapreev. How fast and fat is your probabilistic model checker? an experimental performance comparison. In Hardware and Software: Verification and Testing, pages 69\u201385. Springer, 2008."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.54"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810324"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","first-page":"270","volume-title":"Formal Methods for Performance Evaluation","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . Stochastic model checking . In M. Bernardo and J. Hillston, editors, Formal Methods for Performance Evaluation , volume 4486 of Lecture Notes in Computer Science , pages 220\u2014 270 . Springer, 2007. M. Kwiatkowska, G. Norman, and D. Parker. Stochastic model checking. In M. Bernardo and J. Hillston, editors, Formal Methods for Performance Evaluation, volume 4486 of Lecture Notes in Computer Science, pages 220\u2014270. Springer, 2007."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","unstructured":"M.\n      Kwiatkowska G.\n      Norman and \n      D.\n      Parker\n  . \n  PRISM 4.0: Verification of probabilistic real-time systems\n  . In G. Gopalakrishnan and S. Qadeer editors CAV\n  2011 volume \n  6806\n   of \n  LNCS pages 585\u2013\n  591\n  . Springer 2011.   M. Kwiatkowska G. Norman and D. Parker. PRISM 4.0: Verification of probabilistic real-time systems. In G. Gopalakrishnan and S. Qadeer editors CAV 2011 volume 6806 of LNCS pages 585\u2013591. Springer 2011.","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2006.06.001"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1181775.1181808"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595761"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.93"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070522"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1242572.1242643"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.63"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(00)00044-X"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(98)00106-8"},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of SLAML","author":"Schneider S.","year":"2010","unstructured":"S. Schneider , I. Beschastnikh , S. Chernyak , M. D. Ernst , and Y. Brun . Synoptic: summarizing system logs with refinement . Proc. of SLAML , 2010 . S. Schneider, I. Beschastnikh, S. Chernyak, M. D. Ernst, and Y. Brun. Synoptic: summarizing system logs with refinement. Proc. of SLAML, 2010."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2491426"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/846183.846188"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.82"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/2073570"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134325"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2003.1209022"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568234","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568234","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:29Z","timestamp":1750234229000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568234"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":39,"alternative-id":["10.1145\/2568225.2568234","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568234","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}