Dynamic slicing based on redex trails.

Claudio Ochoa, Josep Silva, Germn Vidal

Browse the full PEPM paper archive.