Difference between revisions of "Mining Parametric Specifications"

From FSL
Jump to: navigation, search
Line 1: Line 1:
This work has not been published yet. These papers present a technique for mining specifications. These papers introduce an efficient slicing algorithm based on C<X>, and an FSM-refining algorithm for more accurate specifications.
+
<purge> </purge>
These papers compare the performance of the new slicing algorithm with that of C<X>, and show several specifications mined from this approach.
+
 
+
 
== Technical Report ==
 
== Technical Report ==
 
<pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id="chen-lee-rosu-2010-tr" template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>== Submitted to ISSTA'10 ==</private>
 
<private>== Submitted to ISSTA'10 ==</private>
 
<pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id='chen-lee-rosu-2010-issta-submission' template='PubDefaultWithAbstractAndTitle'></pub>
<purge></purge>
 
 
<private>==Submitted to PLDI'10==</private>
 
<private>==Submitted to PLDI'10==</private>
 
<pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id='chen-lee-rosu-2010-pldi' template='PubDefaultWithAbstractAndTitle'></pub>
 
<private>==Submitted to POPL'10==</private>
 
<private>==Submitted to POPL'10==</private>
 
<pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>
 
<pub id='chen-lee-rosu-2010-popl' template='PubDefaultWithAbstractAndTitle'></pub>

Revision as of 21:36, 11 April 2010

Technical Report




Personal tools
Namespaces

Variants
Actions
Navigation