Using compressed bytecode traces for slicing Java programs | Synapse