Mining behavior models from user-intensive web applications

Proceedings - International Conference on Software Engineering

Volumn , Issue 1, 2014, Pages 277-287

  Ghezzi, Carlo ^a   Pezzè, Mauro ^b   Sama, Michele ^c   Tamburrelli, Giordano ^b  

^a POLITECNICO DI MILANO   (Italy)

^b UNIVERSITY OF LUGANO   (Switzerland)

^c Head of Cloud and Data Touchtype Ltd   (United Kingdom)

Author keywords

Log Analysis; Markov Chains; Probabilistic Model Checking; User Profiles; Web Application

Indexed keywords

APPLICATION PROGRAMS; BEHAVIORAL RESEARCH; MARKOV PROCESSES; SOFTWARE ENGINEERING;

ENGINEERING SOLUTIONS; INTERACTION HISTORY; LOG ANALYSIS; NAVIGATION PATTERNS; PROBABILISTIC MODEL CHECKING; USER INTERACTION; USER PROFILE; WEB APPLICATION;

MODEL CHECKING;

EID: 84994189367     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2568225.2568234     Document Type: Conference Paper

References (39)

1. Google Analytics. http: //www. google. com/intl/en/analytics/.
2. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining api patterns as partial orders from source code: from usage scenarios to specifications. In ESEC/FSE, 2007.
3. S. Andova, H. Hermanns, and J. Katoen. Discrete-time rewards model-checked. Formal Modeling and Analysis of Timed Systems, pages 88|104, 2004.
4. C. Baier and J.-P. Katoen. Principles of Model Checking. The MIT Press, 2008.
5. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic synthesis of behavior protocols for composable web-services. In ESEC/FSE, 2009.
6. I. Beschastnikh, Y. Brun, J. Abrahamson, M. D. Ernst, and A. Krishnamurthy. Unifying fsm-inference algorithms through declarative specification. In ICSE, pages 252-261. IEEE Press, 2013.
7. I. Beschastnikh, Y. Brun, S. Schneider, M. Sloan, and M. Ernst. Leveraging existing instrumentation to automatically infer invariant-constrained models. In ESEC/FSE, 2011.
8. F. Chierichetti, R. Kumar, P. Raghavan, and T. SarLos. Are web users really markovian? In WWW, pages 609-618. ACM, 2012.
9. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. ACM Transactions on Software Engineering and Methodology (TOSEM), 7 (3): 215-249, 1998.
10. G. de Caso, V. Braberman, D. Garbervetsky, and S. Uchitel. Program abstractions for behaviour validation. In ICSE. IEEE, 2011.
11. M. DeGroot and M. Schervish. Probability and Statistics-International Edition. Addison-Wesley. Publishing. Company., Reading, Massachusetts, 2001.
12. F. Facca and P. Lanzi. Mining interesting knowledge from weblogs: a survey. Data & Knowledge Engineering, 53 (3): 225-241, 2005.
13. R. Fielding and R. Taylor. Principled design of the modern web architecture. ACM Transactions on Internet Technology (TOIT), 2 (2): 115-150, 2002.
14. A. Filieri, C. Ghezzi, and G. Tamburrelli. Run-time Efficient probabilistic model checking. In ICSE, 2011.
15. A. Filieri and G. Tamburrelli. Probabilistic verification at runtime for self-adaptive systems. In Assurances for Self-Adaptive Systems, pages 30-59. Springer, 2013.
16. L. Grunske. specification patterns for probabilistic quality properties. In ICSE, pages 31-40. IEEE, 2008.
17. H. Hansson and B. Jonsson. A logic for reasoning about time and reliability. Formal aspects of computing, 6 (5): 512|535, 1994.
18. 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-85. Springer, 2008.
19. J. Katoen, M. Khattri, and I. Zapreevt. A markov reward model checker. In Quantitative Evaluation of Systems, 2005. Second International Conference on the, pages 243-244. IEEE, 2005.
20. A. Komuravelli, C. S. Pasareanu, and E. M. Clarke. Learning probabilistic systems from tree samples. In LICS, pages 441-450. IEEE, 2012.
21. I. Krka, Y. Brun, D. Popescu, J. Garcia, and N. Medvidovic. Using dynamic execution traces and program invariants to enhance behavioral model inference. In ICSE, volume 2. IEEE, 2010.
22. 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|270. Springer, 2007.
23. 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-591. Springer, 2011.
24. H. Liu and V. Keselj. Combined mining of web server logs and web contents for classifying user navigation patterns and predicting users future requests. Data & Knowledge Engineering, 61 (2): 304-330, 2007.
25. D. Lo and S.-C. Khoo. Smartic: towards building an accurate, robust and scalable specification miner. In FSE, pages 265-275. ACM, 2006.
26. D. Lo, L. Mariani, and M. Pezze. Automatic steering of behavioral model inference. In FSE. ACM, 2009.
27. L. Mariani, F. Pastore, and M. Pezze. Dynamic analysis for diagnosing integration faults. Software Engineering, IEEE Transactions on, 37 (4), 2011.
28. A. Mesbah and A. Van Deursen. Invariant-based automatic testing of ajax user interfaces. In ICSE. IEEE, 2009.
29. M. Richardson, E. Dominowska, and R. Ragno. Predicting clicks: estimating the click-through rate for new ads. In WWW. ACM, 2007.
30. M. Robillard, E. Bodden, D. Kawrykow, M. Mezini, and T. Ratchford. Automated api property inference techniques. TSE, 2012.
31. R. Sarukkai. Link prediction and path analysis using markov chains. Computer Networks, 33 (1), 2000.
32. S. Schechter, M. Krishnan, and M. Smith. Using path profiles to predict http requests. Computer Networks and ISDN Systems, 30 (1): 457-467, 1998.
33. S. Schneider, I. Beschastnikh, S. Chernyak, M. D. Ernst, and Y. Brun. Synoptic: summarizing system logs with refinement. Proc. of SLAML, 2010.
34. M. Schur, A. Roth, and A. Zeller. Mining behavior models from enterprise web applications. In FSE 2013.
35. J. Srivastava, R. Cooley, M. Deshpande, and P.-N. Tan. Web usage mining: discovery and applications of usage patterns from web data. SIGKDD Explor. Newsl., 1 (2): 12-23, Jan. 2000.
36. P. Tonella, A. Marchetto, C. D. Nguyen, Y. Jia, K. Lakhotia, and M. Harman. Finding the optimal balance between over and under approximation of models inferred from execution logs. In ICST, 2012.
37. E. Wilde and C. Pautasso. REST: From Research to Practice. Springer, 2011.
38. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M. Das. Perracotta: mining temporal api rules from imperfect traces. In ICSE. ACM, 2006.
39. Q. Yang and H. H. Zhang. Web-log mining for predictive web caching. Knowledge and Data Engineering, IEEE Transactions on, 15 (4), 2003.