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.
 +
These papers compare the performance of the new slicing algorithm with that of C<X>, and show several specifications mined from this approach.
 +
 
<purge></purge>
 
<purge></purge>
 
<private>==Submitted to PLDI 2010==</private>
 
<private>==Submitted to PLDI 2010==</private>

Revision as of 22:52, 1 February 2010

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. These papers compare the performance of the new slicing algorithm with that of C<X>, and show several specifications mined from this approach.




Personal tools
Namespaces

Variants
Actions
Navigation