Mining parametric specifications

Choonghwan Lee, Feng Chen, Grigore Roşu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Specifications carrying formal parameters that are bound to concrete data at runtime can effectively and elegantly capture multi-object behaviors or protocols. Unfortunately, parametric specifications are not easy to formulate by nonexperts and, consequently, are rarely available. This paper presents a general approach for mining parametric specifications from program executions, based on a strict separation of concerns: (1) a trace slicer first extracts sets of independent interactions from parametric execution traces; and (2) the resulting non-parametric trace slices are then passed to any conventional non-parametric property learner. The presented technique has been implemented in jMiner, which has been used to automatically mine many meaningful and non-trivial parametric properties of OpenJDK 6.

Original languageEnglish (US)
Title of host publicationICSE 2011 - 33rd International Conference on Software Engineering, Proceedings of the Conference
Pages591-600
Number of pages10
DOIs
StatePublished - 2011
Event33rd International Conference on Software Engineering, ICSE 2011 - Waikiki, Honolulu, HI, United States
Duration: May 21 2011May 28 2011

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Other

Other33rd International Conference on Software Engineering, ICSE 2011
Country/TerritoryUnited States
CityWaikiki, Honolulu, HI
Period5/21/115/28/11

Keywords

  • dynamic analysis
  • parametric specifications

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Mining parametric specifications'. Together they form a unique fingerprint.

Cite this