Experimental specification mining for enterprise applications

SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering

Volumn , Issue , 2011, Pages 388-391

  Schur, Matthias ^a  

^a SAP RESEARCH   (Germany)

Author keywords

Enterprise applications; Model based testing; Specification mining; Test case generation

Indexed keywords

ENTERPRISE APPLICATIONS; ENTERPRISE SYSTEM; EXECUTION TRACE; EXPERIMENTAL APPROACHES; MODEL BASED TESTING; PROGRAM EXECUTION; SPECIFICATION MINING; TEST CASE; TEST CASE GENERATION; TEST GENERATIONS;

INDUSTRY; SOFTWARE ENGINEERING; SPECIFICATIONS;

MATHEMATICAL MODELS;

EID: 80053187069     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2025113.2025169     Document Type: Conference Paper

References (16)

1. G. Ammons, R. Bodik, and J. R. Larus. Mining Specifications. ACM Sigplan Notices, 37(1):4-16, 2002. (Pubitemid 35009026)
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. J. E. Cook and A. L. Wolf. Discovering Models of Software Processes from Event-based Data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, July 1998. (Pubitemid 128658170)
4. V. Dallmeier, N. Knopp, C. Mallon, S. Hack, and A. Zeller. Generating Test Cases for Specification Mining. In Proc. of the 19th International Symposium on Software Testing and Analysis, ISSTA'10, pages 85-96, New York, NY, USA, 2010. ACM.
5. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining Object Behavior with Adabu. In Proc. of the 2006 International Workshop on Dynamic Systems Analysis, WODA'06, pages 17-24, New York, NY, USA, 2006. ACM.
6. M. D. Ernst, J. Cockrell, W. G. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE Trans. on Software Engineering, 27(2):99-123, 2001. (Pubitemid 32254259)
7. J.-C. Fernandez, L. Mounier, and C. Pachon. A Model-based Approach for Robustness Testing. In TestCom, pages 333-348, 2005. (Pubitemid 41322211)
8. C. W. Günther and W. M. P. van der Aalst. Fuzzy Mining - Adaptive Process Simplification Based on Multi-perspective Metrics. In Proc. of BPM, pages 328-343, 2007.
9. S. Kätker and S. Patig. Model-driven Development of Serviceoriented Business Application Systems. In Wirtschaftsinformatik (1), pages 171-180, 2009.
10. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In Proc. of the 30th International Conference on Software Engineering, ICSE'08, pages 501-510, Leipzig, Germany, 2008.
11. W. M. P. van der Aalst, T. Weijters, and L. Maruster. Workow Mining: Discovering Process Models from Event Logs. IEEE Trans. Knowl. Data Eng., 16(9):1128-1142, 2004.
12. B. F. Van Dongen, A. K. A. De Medeiros, H. M. W. Verbeek, A. J. M. M. Weijters, and W. M. P. Van Der Aalst. The ProM Framework. Lecture Notes in Computer Science, 3536/2005:1105-1116, 2005.
13. A. J. M. M. Weijters and J. T. S. Ribeiro. Flexible Heuristics Miner. 2011. Accepted for the SSCI2011.
14. T. Xie and D. Notkin. Mutually Enhancing Test Generation and Specification Inference. In Proc. 3rd International Workshop on Formal Approaches to Testing of Software, FATES 03, volume 2931 of LNCS, pages 60-69, October 2003.
15. T. Xie and D. Notkin. Automatic Extraction of Object-oriented Observer Abstractions from Unit-Test Executions. In Proc. 6th International Conference on Formal Engineering Methods, ICFEM 2004, pages 290-305, November 2004. (Pubitemid 39750939)
16. A. Zeller. Program Analysis: A Hierarchy. In Proc. Workshop on Dynamic Analysis, May 2003.