Mining hierarchical scenario-based specifications

ASE2009 - 24th IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2009, Pages 359-370

  Lo, David ^a   Maoz, Shahar ^b  

^a Singapore Management University   (Israel)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION LEVEL; BROKEN DOWN; DATA MINING METHODS; FORMAL DEFINITION; LIVE SEQUENCE CHART; OBJECT HIERARCHY; SCENARIO-BASED SPECIFICATIONS; SPECIFICATION MINING; TECHNICAL CONTRIBUTION; TOPDOWN; ZOOMING-IN; ZOOMING-OUT;

COMPUTER SOFTWARE; DYNAMIC ANALYSIS; MINING; SCALABILITY;

SPECIFICATIONS;

EID: 77952193641     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2009.19     Document Type: Conference Paper

References (32)

1. 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.
2. G. Ammons, R. Bodik, and J. R. Larus., "Mining Specification," in POPL, 2002.
3. D. Lorenzoli, L. Mariani, and M. Pezzè, "Automatic Generation of Software Behavioral Models," in ICSE, 2008.
4. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das, "Perracotta: Mining temporal API rules from imperfect traces." in ICSE, 2006.
5. F. C. de Sousa, N. C. Mendonça, S. Uchitel, and J. Kramer, "Detecting Implied Scenarios from Execution Traces," in WCRE, 2007, pp. 50-59.
6. D. Lo, S. Maoz, and S.-C. Khoo, "Mining Modal Scenario- Based Specifications from Execution Traces of Reactive Systems," in ASE, 2007.
7. 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.
8. A. Kuhn and O. Greevy, "Exploiting analogy between traces and signal processing," in ICSM, 2006.
9. B. Liblit, A. Aiken, A. X. Zheng, and M. I. Jordan, "Bug isolation via remote program sampling," in PLDI, 2003, pp. 141-154.
10. D. Lo and S. Maoz, "Mining Scenario-Based Triggers and Effects," in ASE. IEEE, 2008, pp. 109-118.
11. -, "Specification mining of symbolic scenario-based models," in PASTE. ACM, 2008, pp. 29-35.
12. W. Damm and D. Harel, "LSCs: Breathing Life into Message Sequence Charts," J. on Formal Methods in System Design, vol. 19, no. 1, pp. 45-80, 2001. (Pubitemid 32697643)
13. D. Harel and S. Maoz, "Assert and Negate Revisited: Modal Semantics for UML Sequence Diagrams," Software and Systems Modeling, vol. 7, no. 2, pp. 237-252, 2008.
14. Y. Atir, D. Harel, A. Kleinbort, and S. Maoz, "Object Composition in Scenario-Based Programming," in FASE, 2008.
15. "Jeti. Version 0.7.6 (Oct. 2006)." http://jeti.sourceforge.net/ .
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 and I. Segall, "Compositional Synthesis of Reactive Systems from Live Sequence Chart Specifications," in TACAS, 2009.
18. S. Maoz and D. Harel, "From multi-modal scenarios to code: compiling LSCs into AspectJ," in SIGSOFT FSE, 2006.
19. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps, "Temporal Logic for Scenario-Based Specifications," in TACAS, 2005.
20. K. Olender and L. Osterweil, "Cecil: A sequencing constraint language for automatic static analysis generation." IEEE TSE, vol. 16, pp. 268-280, 1990.
21. J. Han and M. Kamber, Data Mining Concepts and Techniques. Morgan Kaufmann, 2006.
22. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, "Dynamically discovering likely program invariants to support program evolution," TSE, vol. 27, no. 2, pp. 99-123, 2001.
23. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the effectiveness of dataflow- and control-flowbased test adequacy criteria," in ICSE, 1994.
24. "Columba, Java Email Client." http://sourceforge.net/projects/ columba.
25. "Hierarchical LSC Mining - Supplementary Website," http://www.mysmu.edu/faculty/davidlo/hie/hie.html.
26. "Eclipse Test and Performance Tools Platform," http://www.eclipse.org/tptp/.
27. D. F. Jerding, J. T. Stasko, and T. Ball, "Visualizing Interactions in Program Executions," in ICSE, 1997.
28. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller, "Mining Object Behavior with ADABU," in WODA, 2006.
29. I. Krüger, "Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs." in FASE, 2003.
30. G. Sibay, S. Uchitel, and V. A. Braberman, "Existential live sequence charts revisited," in ICSE, 2008, pp. 41-50.
31. J. Whittle, R. Kwan, and J. Saboo, "From scenarios to code: An air traffic control case study," Software and Systems Modeling, vol. 4, no. 1, pp. 71-93, 2005. (Pubitemid 41166790)
32. D. Harel, A. Kleinbort, and S. Maoz, "S2A: A compiler for multi-modal UML sequence diagrams," in FASE, 2007.