Sliced Path Prefixes: An Effective Method to Enable Refinement Selection.

Dirk Beyer, Stefan Lwe, Philipp Wendler

Browse the full FORTE paper archive.