Difference between revisions of "Mining Parametric Specifications"

From FSL
Jump to: navigation, search
 
(7 intermediate revisions by 2 users not shown)
Line 1: Line 1:
<pub id='lee-chen-rosu-2011-icse' template='PubDefaultWithAbstractAndTitle'></pub>
+
<purge></purge><private>== August 2010 Technical Report ==</private><private><pubbib id="lee-chen-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'/></private><private>== ICSE'11 ==</private><pubbib id='lee-chen-rosu-2011-icse' template='PubDefaultWithAbstractAndTitle'/><private>== Submitted to ICSE'11 ==</private><pub id='lee-chen-rosu-2011-icse-submission' template='PubDefaultWithAbstractAndTitle'></pub>
== August 2010 Technical Report ==
+
<private>== Submitted to SEFM'10 ==</private><pub id='lee-chen-rosu-2010-sefm-submission' template='PubDefaultWithAbstractAndTitle'></pub><private>== March 2010 Technical Report ==</private><private><pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub></private><private>== Submitted to ISSTA'10 ==</private><pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub><private>==Submitted to PLDI'10==</private><pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub><private>==Submitted to POPL'10==</private><pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>
<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>
+
== March 2010 Technical Report ==
+
<pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
+
<private>== Submitted to ISSTA'10 ==</private><pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub>
+
<private>==Submitted to PLDI'10==</private><pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub>
+
<private>==Submitted to POPL'10==</private><pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>
+

Latest revision as of 03:33, 11 April 2016

Mining Parametric Specifications
Choonghwan Lee and 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.
PDF, Slides(PPTX), JMiner, DOI, ICSE'11, BIB


Personal tools
Namespaces

Variants
Actions
Navigation