Files in this item



application/pdflee-chen-rosu-2011-tr.pdf (2MB)
(no description provided)PDF


Title:Mining Parametric Specifications
Author(s):Lee, Choonghwan; Chen, Feng; Rosu, Grigore
Subject(s):specification mining
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 non-experts 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 OpenJDK6.
Issue Date:2010-08-24
Citation Info:submitted to ICSE'11
Genre:Technical Report
Publication Status:published or submitted for publication
Peer Reviewed:not peer reviewed
Date Available in IDEALS:2010-08-24

This item appears in the following Collection(s)

Item Statistics