Mining Parametric Specifications
From FSL
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.