Mining scenario-based triggers and effects

ASE 2008 - 23rd IEEE/ACM International Conference on Automated Software Engineering, Proceedings

Volumn , Issue , 2008, Pages 109-118

  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

DATA MINING METHODS; EXECUTION TRACES; LIVE SEQUENCE CHARTS; MODELING TOOLS;

DECISION SUPPORT SYSTEMS; INFORMATION MANAGEMENT; MINING; SOFTWARE ENGINEERING;

FLOWCHARTING;

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

References (30)

1. "Columba, Java Email Client." http://www.col.umbamail.org/ drupal/.
2. "Eclipse Test and Performance Tools Platform," http://www.eclipse.org/tptp/.
3. "IBM Rational Software Architect," http://www-306.ibm.com/ software/rational/.
4. "Jeti. Version 0.7.6 (Oct. 2006)." http://jeti.sourceforge.net/ .
5. 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.
6. G. Ammons, R. Bodik, and J. R. Larus, "Mining Specification," in POPL, 2002.
7. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller, "Mining Object Behavior with ADABU," in WODA, 2006.
8. 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.
9. 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.
10. D. Harel and R. Marelly, Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
11. D. Harel, "From play-in scenarios to code: An achievable dream." IEEE Computer, vol. 34, no. 1, pp. 53-60, 2001.
12. 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.
13. M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, "Experiments on the effectiveness of dataflow- and control-flowbased test adequacy criteria," in ICSE, 1994.
14. D. F. Jerding, J. T. Stasko, and T. Ball, "Visualizing Inter-actions in Program. Executions," in ICSE, 1997.
15. J. Klose, T. Toben, B. Westphal, and H. Wittke, "Check it out: On the efficient formal verification of Live Sequence Charts," in CAV, 2006.
16. I. Krüger, "Capturing Overlapping, Triggered, and Preemptive Collaborations Using MSCs. in FASE, 2003.
17. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps, "Temporal Logic for Scenario-Based Specifications," in TACAS, 2005.
18. O. Kupferman and Y. Lustig, "What triggers a behavior?" in FMCAD, 2007.
19. M. Lettrari and J. Klose, "Scenario-Based Monitoring and Testing of Real-Time UML Models," in UML, 2001.
20. D. Lo and S.-C. Khoo, "QUARK: Empirical assessment of automaton-based specification, miners," in WCRE, 2006.
21. D. Lo, S.-C. Khoo, and C. Liu, "Efficient mining of iterative patterns for software specification discovery, SIGKDD, 2007.
22. D. Lo and S. Maoz, "Mining scenario-based triggers and effects (tech. rep. version and additonal details)," Available at www.comp.nus.edu.sg/~dlo/trigeff/, 2008.
23. D. Lo, S. Maoz, and S.-C. Khoo, "Mining modal scenarios from program execution traces," Dept. of Computer Science, National University of Singapore, Tech. Rep. RC8/07, 2007.
24. _, "Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems," in ASE, 2007.
25. D. Lorenzoli, L. Mariani, and. M. Pezzè, "Automatic Generation of Software Behavioral Models," in ICSE, 2008.
26. S. Maoz and D. Harel, "From multi-modal scenarios to code: compiling LSCs into AspectJ," in SIGSOFT FSE, 2006.
27. R. Marelly, D. Harel, and H. Kugler, "Multiple Instances and Symbolic Variables in Executable Sequence Charts," in OOPSLA, 2002.
28. K. Olender and L. Osterweil, "Cecil: A sequencing constraint language for automatic static analysis generation." IEEE TSE, vol. 16, pp. 268-280, 1990.
29. S. Uchitel, J. Kramer, and J. Magee, "Detecting implied scenarios in message sequence chart specifications." in SIGSOFT FSE, 2001.
30. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das, "Perracotta: Mining temporal API rules from imperfect traces." in ICSE, 2006.