Mining Scenario-Based Specifications with Value-Based Invariants

There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, ex...

Full description

Saved in:
Bibliographic Details
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/481
http://dx.doi.org/10.1145/1639950.1639999
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
id sg-smu-ink.sis_research-1480
record_format dspace
spelling sg-smu-ink.sis_research-14802010-09-24T06:36:22Z Mining Scenario-Based Specifications with Value-Based Invariants LO, David Maoz, Shahar There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application. 2009-10-01T07:00:00Z text https://ink.library.smu.edu.sg/sis_research/481 info:doi/10.1145/1639950.1639999 http://dx.doi.org/10.1145/1639950.1639999 Research Collection School Of Computing and Information Systems eng Institutional Knowledge at Singapore Management University live sequence charts specification mining value-based invariants Software Engineering
institution Singapore Management University
building SMU Libraries
continent Asia
country Singapore
Singapore
content_provider SMU Libraries
collection InK@SMU
language English
topic live sequence charts
specification mining
value-based invariants
Software Engineering
spellingShingle live sequence charts
specification mining
value-based invariants
Software Engineering
LO, David
Maoz, Shahar
Mining Scenario-Based Specifications with Value-Based Invariants
description There have been a number of studies on mining candidate specifications from execution traces. Some extract specifications corresponding to value-based invariants, while others work on inferring ordering constraints. In this work, we merge our previous work on mining scenario-based specifications, extracting ordering constraints in the form of live sequence charts (LSC), a visual specification language, with Daikon, a tool for mining value-based invariants. The resulting approach strengthens the expressive power of the mined scenarios by enriching them with scenario-specific value-based invariants. The concept is illustrated using a preliminary case study on a real application.
format text
author LO, David
Maoz, Shahar
author_facet LO, David
Maoz, Shahar
author_sort LO, David
title Mining Scenario-Based Specifications with Value-Based Invariants
title_short Mining Scenario-Based Specifications with Value-Based Invariants
title_full Mining Scenario-Based Specifications with Value-Based Invariants
title_fullStr Mining Scenario-Based Specifications with Value-Based Invariants
title_full_unstemmed Mining Scenario-Based Specifications with Value-Based Invariants
title_sort mining scenario-based specifications with value-based invariants
publisher Institutional Knowledge at Singapore Management University
publishDate 2009
url https://ink.library.smu.edu.sg/sis_research/481
http://dx.doi.org/10.1145/1639950.1639999
_version_ 1770570439411630080