Skip to main content
Article
Mining Message Sequence Graphs
ICSE 2011: Proceedings of the 2011 International Conference on Software Engineering, May 21-28, Waikkiki, Honolulu, Hawaii
  • Sandeep KUMAR
  • Siau-Cheng KHOO
  • Abhik Roychoudhury
  • David LO, Singapore Management University
Publication Type
Conference Proceeding Article
Publication Date
5-2011
Abstract

Dynamic specification mining involves discovering software behavior from traces for the purpose of program comprehension and bug detection. However, in concurrent/distributed programs, the inherent partial order relationships among events occurring across processes pose a big challenge to specification mining. In this paper, we propose a framework for mining partial orders so as to understand concurrent program behavior. Our miner takes in a set of concurrent program traces, and produces a message sequence graph (MSG) to represent the concurrent program behavior. An MSG represents a graph where the nodes of the graph are partial orders, represented as Message Sequence Charts. Mining an MSG allows us to understand concurrent behaviors since the nodes of the MSG depict important ``phases" or ``interaction snippets" involving several concurrently executing processes. Experiments on mining behaviors of several fairly complex distributed systems show that our miner can produce the corresponding MSGs with both high precision and recall.

ISBN
9781450304450
Identifier
10.1145/1985793.1985807
Publisher
ACM
City or Country
Waikkiki, HI
Additional URL
http://doi.org/10.1145/1985793.1985807
Citation Information
Sandeep KUMAR, Siau-Cheng KHOO, Abhik Roychoudhury and David LO. "Mining Message Sequence Graphs" ICSE 2011: Proceedings of the 2011 International Conference on Software Engineering, May 21-28, Waikkiki, Honolulu, Hawaii (2011) p. 91 - 100
Available at: http://works.bepress.com/david_lo/40/