Title

Mining Scenario-Based Specifications with Value-Based Invariants

Publication Type

Conference Proceeding Article

Publication Date

10-2009

Abstract

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.

Keywords

live sequence charts, specification mining, value-based invariants

Discipline

Software Engineering

Research Areas

Software Systems

Publication

SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) (Poster Track)

First Page

755

Last Page

756

ISBN

9781605587684

Identifier

10.1145/1639950.1639999

Publisher

ACM

City or Country

Orlando Florida

Additional URL

http://dx.doi.org/10.1145/1639950.1639999