Mining Parametric Specifications

From FSL
Revision as of 18:52, 8 March 2010 by Clee83 (Talk | contribs)

Jump to: navigation, search

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.

Technical Report

Personal tools