Hierarchical Inter-Object Traces for Specification Mining
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, incre...
Saved in:
Main Authors: | LO, David, Maoz, Shahar |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2008
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/437 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Hierarchical Inter-object Traces for Specification Mining
by: LO, David, et al.
Published: (2008) -
Mining modal scenarios from execution traces
by: Lo, D., et al.
Published: (2013) -
Mining Modal Scenarios-Based Specifications from Execution Trace of Reactive Systems
by: LO, David, et al.
Published: (2007) -
Mining modal scenario-based specifications from execution traces of reactive systems
by: Lo, D., et al.
Published: (2013) -
Towards Succinctness in Mining Scenario-Based Specifications
by: LO, David, et al.
Published: (2011)