Mining behavior models from enterprise web applications

2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE 2013 - Proceedings

Volumn , Issue , 2013, Pages 422-432

  Schur, Matthias ^a   Roth, Andreas ^a   Zeller, Andreas ^b  

^a SAP RESEARCH   (Germany)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

Dynamic analysis; Model based testing; Specification mining

Indexed keywords

APPLICATION BEHAVIORS; ENTERPRISE WEBS; GENERIC APPROACH; MODEL BASED TESTING; PRODUCT COMPLIANCE; REGRESSION TESTING; SPECIFICATION MINING; WEB APPLICATION;

APPLICATIONS; DYNAMIC ANALYSIS; INDUSTRY; SOFTWARE TESTING; USER INTERFACES; WORLD WIDE WEB;

SOFTWARE ENGINEERING;

EID: 84883667248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2491411.2491426     Document Type: Conference Paper

References (23)

1. A. Bertolino, P. Inverardi, P. Pelliccione, and M. Tivoli. Automatic Synthesis of Behavior Protocols for Composable Web-Services. In ESEC/FSE '09, pages 141-150, New York, NY, USA, 2009. ACM.
2. A. W. Biermann and J. A. Feldman. On the synthesis of finite-state machines from samples of their behavior. IEEE Transactions on Computers, C-21(6):592-597, 1972.
3. R. V. Binder. Testing Object-Oriented Systems: Models, Patterns, and Tools. Object Technology Series. Addison Wesley, 1999.
4. J. C. Corbett, M. B. Dwyer, J. Hatcliff, S. Laubach, C. S. Pasareanu, Robby, and H. Zheng. Bandera: extracting finite-state models from java source code. In ICSE '00, pages 439-448, New York, NY, USA, 2000. ACM.
5. V. Dallmeier, M. Burger, T. Orth, and A. Zeller. Webmate: a tool for testing web 2.0 applications. In Proceedings of the Workshop on JavaScript Tools, JSTools '12, pages 11-15, New York, NY, USA, 2012. ACM.
6. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating test cases for specification mining. In ISSTA '10 Proceedings of the 19th international symposium on Software testing and analysis, pages 85-96, New York, NY, USA, 2010. ACM.
7. G. de Caso, V. Braberman, D. Garbervetsky, and S. Uchitel. Automated abstractions for contract validation. IEEE Transactions on Software Engineering, 38(1):141-162, 2012.
8. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering, 27(2):99-123, 2001.
9. C. Flanagan and K. R. M. Leino. Houdini, an annotation assistant for esc/java. In Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity, FME '01, pages 500-517, London, UK, 2001. Springer-Verlag.
10. M. Fowler. Patterns of Enterprise Application Architecture. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2002.
11. W. Grieskamp, N. Kicillof, K. Stobie, and V. Braberman. Model-based quality assurance of protocol documentation: tools and methodology. Software Testing, Verification & Reliability, 21(1):55-71, Mar. 2011.
12. F. Gross, G. Fraser, and A. Zeller. Exsyst: Search-based gui testing. In ICSE '12, pages 1423-1426, Piscataway, NJ, USA, 2012. IEEE Press.
13. A. Mesbah, A. Van Deursen, and S. Lenselink. Crawling Ajax-based web applications through dynamic analysis of user interface state changes. ACM Transactions on the Web, 6(1):1-30, Mar. 2012.
14. A. Mesbah, A. Van Deursen, and D. Roest. Invariant-based automatic testing of modern web applications. IEEE Transactions on Software Engineering, 38(1):35-53, Jan. 2012.
15. M. Pezze and M. Young. Software Testing and Analysis: Process, Principles and Techniques. John Wiley & Sons, 2007.
16. M. P. Robillard, E. Bodden, D. Kawrykow, M. Mezini, and T. Ratchford. Automated api property inference techniques. IEEE Transactions on Software Engineering, 39(5):613-637, May 2013.
17. M. Schur. Experimental specification mining for enterprise applications. In ESEC/FSE '11, pages 388-391, New York, NY, USA, 2011. ACM.
18. M. Utting and B. Legeard. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA, 2007.
19. W. M. P. van der Aalst, V. Rubin, H. M. W. Verbeek, B. F. van Dongen, E. Kindler, and C. W. Günther. Process mining: a two-step approach to balance between underfitting and overfitting. Software and System Modeling, 9(1):87-111, 2010.
20. S. Wieczorek and A. Stefanescu. Improving testing of enterprise systems by model-based testing on graphical user interfaces. In ECBS '10 Proceedings of the 2010 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, pages 352-357, Washington, DC, USA, 2010. IEEE Computer Society.
21. T. Xie and D. Notkin. Mutually enhancing test generation and specification inference. In International Workshop on Formal Approaches to Testing of Software (FATES), pages 60-69. Springer, 2003.
22. T. Xie and D. Notkin. Automatic extraction of object-oriented observer abstractions from unit-test executions. In International Conference on Formal Engineering Methods (ICFEM), pages 290-305. Springer, 2004.
23. A. Zeller. Program analysis: A hierarchy. In ICSE Workshop on Dynamic Analysis (WODA 2003), pages 6-9, 2003.