Scenario-based and value-based specification mining: better together
Specification mining takes execution traces as input and extracts likely program invariants, which can be used for comprehension, verification, and evolution related tasks. In this work we integrate scenario-based specification mining, which uses data-mining algorithms to suggest ordering constraint...
Saved in:
Main Authors: | LO, David, MAOZ, Shahar |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2010
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/1348 https://ink.library.smu.edu.sg/context/sis_research/article/2347/viewcontent/ase10_lsc.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Scenario-Based and Value-Based Specification Mining: Better Together
by: LO, David, et al.
Published: (2012) -
Mining Scenario-Based Specifications with Value-Based Invariants
by: LO, David, et al.
Published: (2009) -
Towards Succinctness in Mining Scenario-Based Specifications
by: LO, David, et al.
Published: (2011) -
Mining modal scenario-based specifications from execution traces of reactive systems
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)