Towards succinctness in mining scenario-based specifications

Proceedings - 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011

Volumn , Issue , 2011, Pages 231-240

  Lo, David ^a   Maoz, Shahar ^b  

^a SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDINGS; EQUIVALENCE RELATIONS; EXECUTION TRACE; HUMAN-READABLE; INCLUSION RELATION; INFORMATION GAIN; LIVE SEQUENCE CHART; SCALABLE PERFORMANCE; SCENARIO-BASED SPECIFICATIONS; SEQUENCE DIAGRAMS; SPECIFICATION MINING; SUPPORT AND CONFIDENCE;

FLOWCHARTING; MINING;

SPECIFICATIONS;

EID: 79960551788     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICECCS.2011.30     Document Type: Conference Paper

References (33)

1. www.mysmu.edu/faculty/davidlo/succinct/succinct.html.
2. Jeti. Version 0.7.6 (Oct. 2006). http://jeti.sourceforge.net/.
3. P. Abdulla, Y.-F. Chen, L. Clemente, L. Holk, C.-D. Hong, R. Mayr, and T. Vojnar. Simulation subsumption in Ramsey-based Buchi automata universality and inclusion testing. In CAV, 2010.
4. G. Ammons, R. Bodik, and J. R. Larus. Mining Specification. In POPL, 2002.
5. CrossFTPServer. sourceforge.net/projects/crossftpserver/.
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. (Pubitemid 32697643)
7. F. C. de Sousa, N. C. Mendonça, S. Uchitel, and J. Kramer. Detecting implied scenarios from execution traces. In WCRE, 2007.
8. M. El-Ramly, E. Stroulia, and P. Sorenson. Interaction-pattern mining: Extracting usage scenarios from run-time behavior traces. In KDD, 2002.
9. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE TSE, 27(2):99-123, February 2001. (Pubitemid 32254259)
10. A. Hamou-Lhadj and T. Lethbridge. Summarizing the content of large traces to facilitate the understanding of the behaviour of a software system. In ICPC, 2006.
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. (Pubitemid 32135809)
13. D. Harel, H. Kugler, and A. Pnueli. Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements, pages 309-324. Springer, 2005.
14. D. Harel and S. Maoz. Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams. Software and Systems Modeling, 7(2):237-252, 2008. (Pubitemid 351663184)
15. H. Hungar and B. Steffen. Behavior-based model construction. STTT, 6(1), 2004.
16. M. Huth and M. Ryan. Logic in Computer Science. Cambridge, 2004.
17. H. Kagdi, M. Collard, and J. Maletic. An approach to mining call-usage patterns with syntactic context. In ASE, 2007.
18. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y Bontemps. Temporal Logic for Scenario-Based Specifications. In TACAS, 2005.
19. M. Lettrari and J. Klose. Scenario-Based Monitoring and Testing of Real-Time UML Models. In UML, 2001.
20. D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of iterative patterns for software specification discovery. KDD, 2007.
21. D. Lo, S.-C. Khoo, and C. Liu. Mining temporal rules for software maintenance. J. of Software Main. and Evolution, 2008.
22. D. Lo and S. Maoz. Mining Scenario-Based Triggers and Effects. In ASE, 2008.
23. D. Lo and S. Maoz. Mining Symbolic Scenario-Based Specifications. In PASTE, 2008.
24. D. Lo and S. Maoz. Mining hierarchical scenario-based specifications. In ASE, 2009.
25. D. Lo and S. Maoz. Scenario-based and value-based specification mining: Better together. In ASE, 2010.
26. D. Lo, S. Maoz, and S.-C. Khoo. Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems. In ASE, 2007.
27. D. Lo, G. Ramalingam, V.-P Ranganath, and K. Vaswani. Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation. In WCRE, 2009.
28. D. Lorenzoli, L. Mariani, and M. Pezze. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
29. S. Maoz and D. Harel. From multi-modal scenarios to code: compiling LSCs into AspectJ. In FSE, 2006.
30. R. Marelly, D. Harel, and H. Kugler. Multiple Instances and Symbolic Variables in Executable Sequence Charts. In OOPSLA, 2002.
31. J. Quante and R. Koschke. Dynamic protocol recovery. In WCRE, 2007.
32. H. Safyallah and K. Sartipi. Dynamic Analysis of Software Systems using Execution Pattern Mining. In ICPC, 2006.
33. M. Shevertalov and S. Mancoridis. A reverse engineering tool for extracting protocols of networked applications. In WCRE, 2007.