31 citations · 76 across the 9 of their papers we have counts for
1 paper · 2 filters
Wilmer Ricciotti, Jan Stolarek, Roly Perera +1
Program slicing provides explanations that illustrate how program outputs were produced from inputs. We build on an approach introduced in prior work by Perera et al., where dynami…