LM: A Miner for Scenario-Based Specifications
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with a project management component, a wizard-like interface to the mining algorithm, a set of pre- and postprocessing extens...
Saved in:
Main Authors: | DOAN, Tuan Anh, LO, David, Maoz, Shahar, KHOO, Siau-Cheng |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2010
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/1311 http://doi.ieeecomputersociety.org/10.1145/1810295.1810370 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
LM: A miner for scenario-based specifications
by: Doan, T.-A., et al.
Published: (2013) -
Mining Hierarchical Scenario-Based Specifications
by: LO, David, et al.
Published: (2009) -
Specification Mining of Symbolic Scenario-Based Models
by: LO, David, et al.
Published: (2008) -
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems
by: LO, David, et al.
Published: (2007) -
Mining Scenario-Based Specifications with Value-Based Invariants
by: LO, David, et al.
Published: (2009)