Please use this identifier to cite or link to this item: https://doi.org/10.1145/1985793.1986029
Title: Specification mining in concurrent and distributed systems
Authors: Kumar, S. 
Keywords: distributed systems
specification mining
Issue Date: 2011
Source: Kumar, S. (2011). Specification mining in concurrent and distributed systems. Proceedings - International Conference on Software Engineering : 1161-1163. ScholarBank@NUS Repository. https://doi.org/10.1145/1985793.1986029
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. A framework for mining partial orders that takes in a set of concurrent program traces, and produces a message sequence graph (MSG) is proposed. Mining an MSG allows one 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 fairly complex distributed systems show that the proposed miner can produce the corresponding MSGs with both high precision and high recall. © 2011 Author.
Source Title: Proceedings - International Conference on Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40520
ISBN: 9781450304450
ISSN: 02705257
DOI: 10.1145/1985793.1986029
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

Page view(s)

63
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.