Hierarchical Inter-Object Traces for Specification Mining

Author

David LO, Singapore Management UniversityFollow
Shahar Maoz, The Weizmann Institute of Science, Israel

Publication Type

Conference Proceeding Article

Publication Date

10-2008

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.

Keywords

live sequence charts, object hierarchy, specification mining, uml sequence diagram

Discipline

Software Engineering

Research Areas

Software Systems

Publication

Proceedings of the Companion to the 23rd SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Poster Track)

First Page

761

Last Page

762

Identifier

10.1145/1449814.1449849

Publisher

ACM

Citation

LO, David and Maoz, Shahar. Hierarchical Inter-Object Traces for Specification Mining. (2008). Proceedings of the Companion to the 23rd SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Poster Track). 761-762.
Available at: https://ink.library.smu.edu.sg/sis_research/437

Additional URL

http://dx.doi.org/10.1145/1449814.1449849