Mining Hierarchical Scenario-Based Specifications
Scalability over long traces, as well as comprehensibility and expressivity of results, are major challenges for dynamic analysis approaches to specification mining. In this work we present a novel use of object hierarchies over traces of inter-object method calls, as an abstraction/refinement mecha...
Saved in:
Main Authors: | LO, David, Maoz, Shahar |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2009
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/486 https://ink.library.smu.edu.sg/context/sis_research/article/1485/viewcontent/ase09.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Specification Mining of Symbolic Scenario-Based Models
by: LO, David, et al.
Published: (2008) -
Towards Succinctness in Mining Scenario-Based Specifications
by: LO, David, et al.
Published: (2011) -
Mining Scenario-Based Specifications with Value-Based Invariants
by: LO, David, et al.
Published: (2009) -
Scenario-Based and Value-Based Specification Mining: Better Together
by: LO, David, et al.
Published: (2012) -
Scenario-based and value-based specification mining: better together
by: LO, David, et al.
Published: (2010)