Mining Modal Scenario-Based Specifications

Project overview

Specification mining is a dynamic analysis process aimed at automatically inferring suggested specifications of a program from its execution traces. In this project we describe a framework, a method, and a related tool, for mining inter-object scenario-based specifications in the form of a UML2-compliant variant of Damm and Harel's live sequence charts (LSC). LSC extends the classical partial order semantics of sequence diagrams mainly with a notion of temporal liveness and with symbolic class level lifelines, in order to generate compact and expressive scenario-based specifications.

This LSC mining research project is led by David Lo and Shahar Maoz.

Publications

[ASEJ-12]	David Lo and Shahar Maoz. Scenario-Based and Value-Based Specification Mining: Better Together, Automated Software Engineering, Accepted in 2012. [pdf]
[ASE-10]	David Lo and Shahar Maoz. Scenario-based and value-based specification mining: better together, in proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE'10). Antwerp, Belgium. September 20-24, 2010. [pdf] [Acceptance Rate: 17.8%]
[ICSE-10]	Tuan-Anh Doan, David Lo, Shahar Maoz, and Siau-Cheng Khoo. LM: a miner for scenario-based specifications, in proceedings of the 32nd ACM/IEEE International Conference on Software Engineering (ICSE'10) (Tool Demo Track). Cape Town, South Africa. May 1-8, 2010. [pdf]
[ASE-09]	David Lo and Shahar Maoz. Mining Hierarchical Scenario-Based Specifications, in proceedings of the 24th IEEE/SIGSOFT International Conference on Automated Software Engineering (ASE'09). Auckland, New Zealand. Nov 16-20, 2009. [pdf] [Acceptance Rate: 17%]
[PASTE-08]	David Lo and Shahar Maoz. Specification Mining of Symbolic Scenario-Based Models. In proceedings of the 8th SIGSOFT-SIGPLAN International Workshop on Program Analysis for Software Tools and Engineering (PASTE'08). Atlanta, USA. November 9-10, 2008. [pdf]
[ASE-08]	David Lo and Shahar Maoz. Mining Scenario-Based Triggers and Effects. In proceedings of the 23rd IEEE/SIGSOFT International Conference on Automated Software Engineering (ASE'08). L'Aquila, Italy. September 15-19, 2008. [pdf] [Acceptance Rate: 12%]
[ASE-07]	David Lo, Shahar Maoz and Siau-Cheng Khoo. Mining Modal Scenario-based Specifications from Execution Traces of Reactive Systems. In proceedings of the 22nd IEEE/SIGSOFT International Conference on Automated Software Engineering (ASE'07) (Short Paper). Atlanta, Georgia. Nov 5-9, 2007. [pdf] [Acceptance Rate: 24.7%]