Scenario-Based and Value-Based Specification Mining: Better Together

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 a data-mining algorithm to suggest ordering constrain...

Full description

Saved in:
Bibliographic Details
Main Authors: LO, David, MAOZ, Shahar
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Specification mining
Dynamic analysis
Live sequence charts
Value-based invariants
Software Engineering
Online Access:https://ink.library.smu.edu.sg/sis_research/1558
https://ink.library.smu.edu.sg/context/sis_research/article/2557/viewcontent/Scenario_based_value_based_specification_mining_better_av_2012.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/1558
https://ink.library.smu.edu.sg/context/sis_research/article/2557/viewcontent/Scenario_based_value_based_specification_mining_better_av_2012.pdf

Similar Items