Mining message sequence graphs

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2011, Pages 91-100

  Kumar, Sandeep ^a   Khoo, Siau Cheng ^a   Roychoudhury, Abhik ^a   Lo, David ^b  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b SINGAPORE MANAGEMENT UNIVERSITY   (Singapore)

Author keywords

distributed systems; specification mining

Indexed keywords

BUG DETECTION; COMPLEX DISTRIBUTED SYSTEM; CONCURRENT PROGRAM; DISTRIBUTED SYSTEMS; DYNAMIC SPECIFICATIONS; EXECUTION TRACE; HIGH PRECISION; MESSAGE SEQUENCE CHARTS; MESSAGE SEQUENCE GRAPHS; PARTIAL ORDER; PROGRAM BEHAVIOR; PROGRAM COMPREHENSION; SOFTWARE BEHAVIOR; SPECIFICATION MINING;

FINITE AUTOMATA; MINERS; SOFTWARE ENGINEERING;

SPECIFICATIONS;

EID: 79959869365     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1985793.1985807     Document Type: Conference Paper

References (43)

1. Jeti. Version 0.7.6 (Oct. 2006). //jeti.sourceforge.net/.
2. Jive software. //www.igniterealtime.org/projects/openfire/.
3. KPhone. //sourceforge.net/projects/kphone.
4. Message sequence charts. ITU-TS Recommendation Z.120, 1996.
5. Opensips. //www.opensips.org/.
6. Pidgin. //www.pidgin.im/.
7. RFC 3261 - Session Inititation Protocol. //www.ietf.org/rfc/rfc3261.txt/.
8. Specification and description language. ITU-T Recommendation Z.100.
9. XEP-0045:Multi-User Chat. http://xmpp.org/extensions/xep-0045.html.
10. M. Acharya, T. Xie, J. Pei, and J. Xu. Mining API patterns as partial orders from source code: from usage scenarios to specifications. In ESEC/SIGSOFT FSE, 2007.
11. G. Ammons, R. Bodik, and J. R. Larus. Mining Specification. In POPL, 2002.
12. A. Biermann and J. Feldman. On the synthesis of finite-state machines from samples of their behaviour. IEEE TOC, 21:591-597, 1972.
13. G. G. Bran Selic and P. T. Ward. Real-Time Object-Oriented Modeling. John Wiley & Sons, Inc., 1994.
14. L. C. Briand, Y. Labiche, and J. Leduc. Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software. IEEE TSE, 32(9):642-663, 2006. (Pubitemid 44604886)
15. J. E. Cook and A. L. Wolf. Discovering models of software processes from event-based data. TOSEM, 7(3), 1998.
16. V. Dallmeier, C. Lindig, A. Wasylkowski, and A. Zeller. Mining Object Behavior with ADABU. In WODA, 2006.
17. V. Diekert. The Book of Traces. World Scientific Publishing Co., Inc., River Edge, NJ, USA, 1995.
18. G. Dong and J. Pei. Mining partial orders from sequences. In Sequence Data Mining, volume 33 of Advances in Database Systems, pages 89-112. Springer US, 2007.
19. M. Ernst, J. Cockrell, W. Griswold, and D. Notkin. Dynamically Discovering Likely Program Invariants to Support Program Evolution. IEEE TSE, 27(2):99-123, 2001. (Pubitemid 32254259)
20. M. Gabel and Z. Su. Online inference and enforcement of temporal properties. In ICSE, pages 15-24, 2010.
21. J. G. Henriksen, M. Mukund, K. N. Kumar, and P. S. Thiagarajan. On message sequence graphs and finitely generated regular msc languages. ICALP '00.
22. S. Kumar, A. Roychoudhury, S.-C. Khoo, and D. Lo. Mining message sequence graphs (technical report). www.comp.nus.edu.sg/~sandeep/msgmining-TR.pdf, 2010.
23. D. Lo and S.-C. Khoo. SMArTIC: Towards building an accurate, robust and scalable specification miner. In SIGSOFT FSE, 2006.
24. D. Lo, S.-C. Khoo, and C. Liu. Efficient mining of iterative patterns for software specification discovery. KDD, 2007.
25. D. Lo, S.-C. Khoo, and C. Liu. Mining temporal rules for software maintenance. JSME, 20(4):227-247, 2008.
26. D. Lo and S. Maoz. Mining Scenario Based Triggers and Effects. In ASE, 2008.
27. D. Lo, S. Maoz, and S.-C. Khoo. Mining Modal Scenario-Based Specifications from Execution Traces of Reactive Systems. In ASE, 2007.
28. D. Lorenzoli, L. Mariani, and M. Pezzè. Automatic Generation of Software Behavioral Models. In ICSE, 2008.
29. J.-G. Lou, Q. Fu, S. Yang, J. Li, and B. Wu. Mining program workflow from interleaved traces. In KDD, 2010.
30. L. Mariani and M. Pezzè. Behavior capture and test: Automated analysis for component integration. In ICECCS, 2005.
31. NASA. Center TRACON Automation System (CTAS). //www. aviationsystemsdivision.arc.nasa.gov/research/foundations/sw-overview.shtml.
32. NASA. CTAS Weather Control Requirements. //scesm04.upb.de/case-study-2/ requirements.pdf.
33. R. Oechsle and T. Schmitt. Javavis: Automatic program visualization with object and sequence diagrams using the java debug interface (jdi). In Revised Lectures on Software Visualization, International Seminar, pages 176-190, 2002.
34. M. Pradel and T. R. Gross. Automatic generation of object usage specifications from large method traces. In ASE, 2009.
35. A. V. Raman and J. D. Patrick. The sk-strings method for inferring PFSA. In Proc. of the workshop on automata induction, grammatical inference and language acquisition, 1997.
36. A. Rountev and B. Connell. Object naming analysis for reverse-engineered sequence diagrams. In ICSE, 2005.
37. A. Roychoudhury, A. Goel, and B. Sengupta. Symbolic message sequence charts. In ESEC-FSE, 2007.
38. H. Safyallah and K. Sartipi. Dynamic Analysis of Software Systems using Execution Pattern Mining. In ICPC, 2006.
39. R. Seacord, D. Plakosh, and G. Lewis. Modernizing Legacy Systems: Software Technologies, Engineering Processes, and Business Practices. Addison-Wesley, 2003.
40. E. Ukkonen. On-line construction of suffix-trees. Algorithmica 14, pages 249-260, 1995.
41. UML. The Unified Modeling Language. Available from //www.omg.org.
42. N. Walkinshaw, K. Bogdanov, M. Holcombe, and S. Salahuddin. Reverse engineering state machines by interactive grammar inference. In WCRE, 2007.
43. J. Yang, D. Evans, D. Bhardwaj, T. Bhat, and M.Das. Perracotta: Mining temporal API rules from imperfect traces. In ICSE, 2006.