Difference between revisions of "Mining Parametric Specifications"
From FSL
Line 1: | Line 1: | ||
− | <pub id='lee-chen-rosu-2011-icse' template='PubDefaultWithAbstractAndTitle'></pub> | + | <purge></purge><private>== ICSE'11 ==</private><pub id='lee-chen-rosu-2011-icse' template='PubDefaultWithAbstractAndTitle'></pub> |
== August 2010 Technical Report == | == August 2010 Technical Report == | ||
<pub id="lee-chen-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub><private>== Submitted to ICSE'11 ==</private><private><pub id='lee-chen-rosu-2011-icse-submission' template='PubDefaultWithAbstractAndTitle'></pub></private> | <pub id="lee-chen-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub><private>== Submitted to ICSE'11 ==</private><private><pub id='lee-chen-rosu-2011-icse-submission' template='PubDefaultWithAbstractAndTitle'></pub></private> |
Revision as of 00:57, 21 February 2011
- Mining Parametric Specifications
- Choonghwan Lee, Feng Chen and Grigore Rosu
- ICSE'11, ACM, pp 591-600. 2011
- 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 OpenJDK 6.
August 2010 Technical Report
March 2010 Technical Report