Please use this identifier to cite or link to this item: https://doi.org/10.1145/1297846.1297883
Title: Mining modal scenarios from execution traces
Authors: Lo, D.
Maoz, S.
Khoo, S.-C. 
Keywords: Live sequence charts
Specification mining
UML sequence diagrams
Issue Date: 2007
Source: Lo, D.,Maoz, S.,Khoo, S.-C. (2007). Mining modal scenarios from execution traces. Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA : 777-778. ScholarBank@NUS Repository. https://doi.org/10.1145/1297846.1297883
Abstract: Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. We describe a method, a framework, and a tool, for mining inter-object scenariobased specifications in the form of a UML2-compliant variant of Damm and Harel's Live Sequence Charts (LSC), which 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. Moreover, we use previous research work and tools developed for LSC to visualize, analyze, manipulate, test, and thus evaluate the scenario-based specifications we mine. Our mining framework is supported by statistically sound metrics. We demonstrate and evaluate our work using a case study.
Source Title: Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
URI: http://scholarbank.nus.edu.sg/handle/10635/41444
ISBN: 9781595938657
DOI: 10.1145/1297846.1297883
Appears in Collections:Staff Publications

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

Page view(s)

41
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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