Experimental results from dynamic slicing of C programs | Synapse