Scenario-based and value-based specification mining: Better together

David Lo, Shahar Maoz

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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 constraints in the form of live sequence charts, an inter-object, visual, modal, scenario-based specification language, with mining of value-based invariants, which detects likely invariants holding at specific program points. The key to the integration is a technique we call scenario-based slicing, running on top of the mining algorithms to distinguish the scenario-specific invariants from the general ones. The resulting suggested specifications are rich, consisting of modal scenarios annotated with scenario-specific value-based invariants, referring to event parameters and participating object properties. An evaluation of our work over a number of case studies shows promising results in extracting expressive specifications from real programs, which could not be extracted previously. The more expressive the mined specifications, the higher their potential to support program comprehension and testing.

Original languageEnglish
Title of host publicationASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering
Pages387-396
Number of pages10
DOIs
StatePublished - 2010
Externally publishedYes
Event25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10 - Antwerp, Belgium
Duration: 20 Sep 201024 Sep 2010

Publication series

NameASE'10 - Proceedings of the IEEE/ACM International Conference on Automated Software Engineering

Conference

Conference25th IEEE/ACM International Conference on Automated Software Engineering, ASE'10
Country/TerritoryBelgium
CityAntwerp
Period20/09/1024/09/10

Keywords

  • Dynamic analysis
  • Live sequence charts
  • Specification mining
  • Value-based invariants

Fingerprint

Dive into the research topics of 'Scenario-based and value-based specification mining: Better together'. Together they form a unique fingerprint.

Cite this