LM: A Miner for Scenario-Based Specifications

The authors 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 post-processing extensions, and a visualization module. Specification mining aims at extracting behavioral models of a program under investigation from a set of its execution traces. The mined models can assist in program comprehension, documentation, and debugging tasks, in the absence of complete and up-to-date specifications. Specifically, in this paper they present LM, a tool for scenario-based specification mining, where a data mining approach is used to process a set of execution traces into scenario-based specifications in the form of Live Sequence Charts (LSC).