Relational queries over program traces (2005)

by Simon F Goldsmith, Robert O'Callahan, Alex Aiken
Venue:SIGPLAN Not