Please use this identifier to cite or link to this item: https://doi.org/10.1145/1321631.1321710
Title: Mining modal scenario-based specifications from execution traces of reactive systems
Authors: Lo, D.
Maoz, S.
Khoo, S.-C. 
Keywords: dynamic analysis
live sequence charts
specification mining
UML sequence diagrams
Issue Date: 2007
Citation: Lo, D.,Maoz, S.,Khoo, S.-C. (2007). Mining modal scenario-based specifications from execution traces of reactive systems. ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering : 465-468. ScholarBank@NUS Repository. https://doi.org/10.1145/1321631.1321710
Abstract: Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a novel method, framework, and tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harels Live Sequence Charts (LSC). LSC extends the classical partial order semantics of sequence diagrams with temporal liveness and symbolic class level lifelines, in order to generate compact and expressive specifications. The output of our algorithm is a sound and complete set of statistically significant LSCs (i.e., satisfying given thresholds of support and confidence), mined from an input execution trace. We locate statistically significant LSCs by exploring the search space of possible LSCs and checking for their statistical significance. In addition, we use an effective search space pruning strategy, specifically adapted to LSCs, which enables efficient mining of scenarios of arbitrary size. We demonstrate and evaluate the utility of our work in mining informative specifications using a case study on Jeti, a popular, full featured messaging application. Copyright 2007 ACM.
Source Title: ASE'07 - 2007 ACM/IEEE International Conference on Automated Software Engineering
URI: http://scholarbank.nus.edu.sg/handle/10635/40724
ISBN: 9781595938824
DOI: 10.1145/1321631.1321710
Appears in Collections:Staff Publications

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

SCOPUSTM   
Citations

34
checked on Dec 9, 2018

Page view(s)

68
checked on Dec 8, 2018

Google ScholarTM

Check

Altmetric


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