Specification mining of symbolic scenario-based models

ACM SIGPLAN/SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

Volumn , Issue , 2008, Pages 29-35

  Lo, David ^a   Maoz, Shahar ^b  

^a SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL MODEL; CONCRETE OBJECTS; DATA MINING METHODS; EXECUTION TRACE; LIVE SEQUENCE CHART; OBJECT IDENTITY; OBJECT-ORIENTED PROGRAM; SCENARIO-BASED SPECIFICATIONS; SEQUENCE DIAGRAMS; SPECIFICATION MINING;

COMPUTER SOFTWARE; DATA MINING; DYNAMIC ANALYSIS; FLOWCHARTING; MINING; TECHNICAL PRESENTATIONS;

SPECIFICATIONS;

EID: 77950586620     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1512475.1512482     Document Type: Conference Paper

References (37)

1. Eclipse Test and Performance Tools Platform. http://www.eclipse.org/tptp/ .
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 SIGSOFT FSE, 2007.
3. G. Ammons, R. Bodik, and J. R. Larus. Mining Specification. In POPL, 2002.
4. L. C. Briand, Y. Labiche, and J. Leduc. Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. IEEE TSE, 32(9):642-663, 2006.
5. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. TOSEM, 7(3):215-249, July 1998.
6. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design, 19(1):45-80, 2001.
7. D. Engler, D. Y. Chen, S. Hallem, A. Chou, and B. Chelf. Bugs as deviant behavior: A general approach to inferring errors in systems code. In Proc. of Symp. on Operating Systems Principles, 2001.
8. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. TSE, 27(2):99-123, 2001.
9. M. Gabel and Z. Su. Javert: Fully automatic mining of general temporal properties from dynamic traces. In FSE, 2008.
10. M. Gabel and Z. Su. Symbolic mining of temporal specifications. In ICSE, 2008.
11. J. Han and M. Kamber. Data Mining Concepts and Techniques. Morgan Kaufmann, 2006.
12. D. Harel. From play-in scenarios to code: An achievable dream. IEEE Computer, 34(1):53-60, 2001.
13. D. Harel and S. Maoz. Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling, 7(2):237-252, 2008.
14. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
15. Ø. Haugen, K. E. Husa, R. K. Runde, and K. Stølen. STAIRS towards Formal Design with Sequence Diagrams. Software and Systems Modeling (SoSyM), 4(4):355-367, 2005.
16. J. Klose, T. Toben, B. Westphal, and H. Wittke. Check it out: On the efficient formal verification of Live Sequence Charts. In CAV, 2006.
17. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps. Temporal Logic for Scenario-Based Specifications. In TACAS, 2005.
18. M. Lettrari and J. Klose. Scenario-Based Monitoring and Testing of Real-Time UML Models. In UML, 2001.
19. D. Lo and S.-C. Khoo. QUARK: Empirical assessment of automaton-based specification miners. In WCRE, 2006.
20. D. Lo and S.-C. Khoo. SMArTIC: Towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
21. D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of iterative patterns for software specification discovery. SIGKDD, 2007.
22. D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of recurrent rules from a sequence database. In Proc. of Int. Conf. on Database Systems for Advanced Applications, 2008.
23. D. Lo and S. Maoz. Mining Scenario-Based Triggers and Effects. In ASE, 2008.
24. D. Lo and S. Maoz. Specification mining of symbolic scenario-based models (tech. report. version). Technical Report at www.comp.nus.edu.sg/~dlo/ symbolicmining.pdf, 2008.
25. D. Lo, S. Maoz, and S.-C. Khoo. Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems. In ASE, 2007.
26. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
27. S. Maoz and D. Harel. From multi-modal scenarios to code: compiling LSCs into AspectJ. In SIGSOFT FSE, 2006.
28. R. Marelly, D. Harel, and H. Kugler. Multiple Instances and Symbolic Variables in Executable Sequence Charts. In OOPSLA, 2002.
29. L. Mariani and M. Pezzè. Behavior capture and test: Automated analysis for component integration. In Proceedings of IEEE International Conference on Engineering of Complex Computer Systems, 2005.
30. M. McGavin, T. Wright, and S. Marshall. Visualisations of execution traces (VET): an interactive plugin-based visualisation tool. In Proc. 7th Australasian User Interface Conf. (AUIC'06), pages 153-160. Australian Computer Society, Inc., 2006.
31. A. Rountev and B. H. Connell. Object naming analysis for reverse-engineered sequence diagrams. In ICSE, pages 254-263, 2005.
32. H. Safyallah and K. Sartipi. Dynamic Analysis of Software Systems using Execution Pattern Mining. In ICPC, 2006.
33. N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. Salahuddin. Reverse engineering state machines by interactive grammar inference. In WCRE, 2007.
34. J. Wang and J. Han. BIDE: Efficient mining of frequent closed sequences. In ICDE, 2004.
35. W. Weimer and G. Necula. Mining temporal specifications for error detection. In TACAS, 2005.
36. X. Yan, J. Han, and R. Afhar. CloSpan: Mining closed sequential patterns in large datasets. In Proc. of SIAM Int. Conf. on Data Mining, 2003.
37. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.