Mining modal scenario-based specifications from execution traces of reactive systems

ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering

Volumn , Issue , 2007, Pages 465-468

  Lo, David ^a   Maoz, Shahar ^b   Khoo, Siau Cheng ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b WEIZMANN INSTITUTE OF SCIENCE   (Israel)

Author keywords

dynamic analysis; live sequence charts; specification mining; UML sequence diagrams

Indexed keywords

CLASS LEVEL; EXECUTION TRACE; LIVE SEQUENCE CHART; LIVENESS; NOVEL METHODS; PARTIAL ORDER SEMANTICS; REACTIVE SYSTEM; SCENARIO-BASED SPECIFICATIONS; SEARCH SPACE PRUNING; SEARCH SPACES; SEQUENCE DIAGRAMS; SPECIFICATION MINING; STATISTICAL SIGNIFICANCE; SUPPORT AND CONFIDENCE; UML SEQUENCE DIAGRAMS;

COMPUTER SOFTWARE; DYNAMIC ANALYSIS; FLOWCHARTING; GRAPHIC METHODS;

SPECIFICATIONS;

EID: 49949117821     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1321631.1321710     Document Type: Conference Paper

References (24)

1. Eclipse Test and Performance Tools Platform. http://www.eclipse.org/tptp/ .
2. Eclipse UML2. http://wiki.eclipse.org/index.php/MDT-UML2.
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. LSC Mining: supporting material. http://www.comp.nus.edu.sg/~dlo/ lscminer/.
6. G. Ammons, R. Bodik, and J. R. Larus. Mining specification. In POPL, 2002.
7. L. C. Briand, Y. Labiche, and J. Leduc. Toward the reverse engineering of UML sequence diagrams for distributed java software. TSE, 32(9):642-663, 2006.
8. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. TOSEM, 7(3):215-249, 1998.
9. W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. J. on Formal Methods in System Design, 19(1):45-80, 2001.
10. D.Lo and S-C.Khoo. QUARK: Empirical assessment of automaton-based specification miners. In WCRE, 2006.
11. J. Han and M. Kamber. Data Mining Concepts and Techniques, 2nd Ed. 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, A. Kleinbort, and S. Maoz. S2A: A compiler for multi-modal UML sequence diagrams. In FASE, 2007.
14. D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling, 2007.
15. M. Huth and M. Ryan. Logic in Computer Science. Cambridge, 2004.
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. SMArTIC: Towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
20. D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of iterative patterns for software specification discovery. SIGKDD, 2007.
21. D. Lo, S. Maoz, and S.-C. Khoo. Mining modal scenarios from program execution traces. Technical Report TRC8/07, Dept. of Computer Science, National University of Singapore, 2007.
22. S. Maoz and D. Harel. From multi-modal scenarios to code: compiling LSCs into AspectJ. In SIGSOFT FSE, 2006.
23. R. Marelly, D. Harel, and H. Kugler. Multiple Instances and Symbolic Variables in Executable Sequence Charts. In OOPSLA, 2002.
24. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.