Scenario-based and value-based specification mining: Better together

ASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Volumn , Issue , 2010, Pages 387-396

  Lo, David ^a   Maoz, Shahar ^b  

^a SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

^b RWTH AACHEN UNIVERSITY   (Germany)

Author keywords

Dynamic analysis; Live sequence charts; Specification mining; Value based invariants

Indexed keywords

DATA MINING ALGORITHM; EXECUTION TRACE; LIKELY INVARIANTS; LIVE SEQUENCE CHART; MINING ALGORITHMS; OBJECT PROPERTY; ORDERING CONSTRAINTS; PROGRAM COMPREHENSION; PROGRAM INVARIANTS; PROGRAM POINTS; SCENARIO-BASED SPECIFICATIONS; SPECIFIC VALUES; SPECIFICATION MINING; VALUE-BASED;

ALGORITHMS; DYNAMIC ANALYSIS; FLOWCHARTING; SOFTWARE ENGINEERING; SPECIFICATION LANGUAGES;

SPECIFICATIONS;

EID: 78649799481     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1858996.1859081     Document Type: Conference Paper

References (41)

1. CrossFTP Server. sourceforge.net/projects/crossftpserver/.
2. Eclipse Test and Performance Tools Platform. http://www.eclipse.org/tptp/ .
3. Jeti. Version 0.7.6 (Oct. 2006). http://jeti.sourceforge.net/.
4. http://www.mysmu.edu/faculty/davidlo/inv/invariants.html.
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. M. Boshernitsan, R.-K. Doong, and A. Savoia. From Daikon to Agitator: Lessons and challenges in building a commercial tool for developer testing. In ISSTA, 2006.
8. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining object behavior with ADABU. In WODA, 2006.
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. T. Doan, D. Lo, S. Maoz, and S.-C. Khoo. LM: A tool for scenario-based specification mining. In ICSE, 2010.
11. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In ICSE, 1999.
12. M. El-Ramly, E. Stroulia, and P. Sorenson. Interaction-pattern mining: Extracting usage scenarios from run-time behavior traces. In KDD, 2002.
13. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically discovering likely program invariants to support program evolution. TSE, 27(2):99-123, 2001.
14. J. Han and M. Kamber. Data Mining Concepts and Techniques. Morgan Kaufmann, 2006.
15. D. Harel. From play-in scenarios to code: An achievable dream. IEEE Computer, 34(1):53-60, 2001.
16. D. Harel and S. Maoz. Assert and negate revisited: Modal semantics for UML sequence diagrams. Software and Systems Modeling, 7(2):237-252, 2008.
17. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003.
18. D. F. Jerding, J. T. Stasko, and T. Ball. Visualizing interactions in program executions. In ICSE, 1997.
19. F. Klein and H. Giese. Joint structural and temporal property specification using timed story scenario diagrams. In FASE, 2007.
20. J. Klose, T. Toben, B. Westphal, and H. Wittke. Check it out: On the efficient formal verification of Live Sequence Charts. In CAV, 2006.
21. I. Krüger. Capturing overlapping, triggered, and preemptive collaborations using MSCs. In FASE, 2003.
22. H. Kugler, D. Harel, A. Pnueli, Y. Lu, and Y. Bontemps. Temporal logic for scenario-based specifications. In TACAS, 2005.
23. H. Kugler and I. Segall. Compositional synthesis of reactive systems from live sequence chart specifications. In TACAS, 2009.
24. M. Lettrari and J. Klose. Scenario-based monitoring and testing of real-time UML models. In UML, 2001.
25. D. Lo and S.-C. Khoo. SMArTIC: Towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
26. D. Lo and S. Maoz. Mining scenario-based triggers and effects. In ASE, 2008.
27. D. Lo and S. Maoz. Mining symbolic scenario-based specifications. In PASTE, 2008.
28. D. Lo and S. Maoz. Mining hierarchical scenario-based specifications. In ASE, 2009.
29. D. Lo, S. Maoz, and S.-C. Khoo. Mining modal scenario-based specifications from execution traces of reactive systems. In ASE, 2007.
30. D. Lo, G. Ramalingam, V. Ranganath, and K. Vaswani. Mining Quantified Temporal Rules: Formalisms, Algorithms, and Evaluation. In WCRE, 2009.
31. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic generation of software behavioral models. In ICSE, 2008.
32. S. Maoz and D. Harel. From multi-modal scenarios to code: Compiling LSCs into AspectJ. In SIGSOFT FSE, 2006.
33. L. Mariani, S. Papagiannakis, and M. Pezzè. Compatibility and regression testing of COTS-component-based software. In ICSE, 2007.
34. L. Mariani and M. Pezzè. Behavior capture and test: Automated analysis for component integration. In Proc. IEEE Int. Conf. on Eng. of Complex Computer Systems, 2005.
35. K. Olender and L. Osterweil. Cecil: A sequencing constraint language for automatic static analysis generation. IEEE TSE, 16:268-280, 1990.
36. B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss. Automated fault localization using potential invariants. CoRR, cs.SE/0310040, 2003.
37. H. Safyallah and K. Sartipi. Dynamic analysis of software systems using execution pattern mining. In ICPC, 2006.
38. G. Sibay, S. Uchitel, and V. A. Braberman. Existential live sequence charts revisited. In ICSE, 2008.
39. J. Sun and J. S. Dong. Synthesis of distributed processes from scenario-based specifications. In FM, 2005.
40. T. Xie, S. Thummalapenta, D. Lo, and C. Liu. Data mining for software engineering. IEEE Computer, 42(8):35-42, 2009.
41. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.