Hierarchical inter-object traces for specification mining

Authors:
David Lo;Shahar Maoz
Affiliations:
Singapore Management University, Singapore, Singapore;The Weizmann Institute of Science, Rehovot, Israel
Venue:
Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Year:
2008

Citing 5
Cited 0

LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Summarizing the Content of Large Traces to Facilitate the Understanding of the Behaviour of a Software System

ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
Mining modal scenario-based specifications from execution traces of reactive systems

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Mining Scenario-Based Triggers and Effects

ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Object composition in scenario-based programming

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Major challenges of dynamic analysis approaches to specification mining include scalability over long traces as well as comprehensibility and expressivity of results. We present a novel use of object hierarchies over inter-object traces as an abstraction/refinement mechanism enabling scalable, incremental, top-down mining of scenario-based specifications.