Travioli: a dynamic analysis for detecting data-structure traversals.

Rohan Padhye, Koushik Sen

Browse the full ICSE paper archive.