Exploiting Traces in Program Analysis.

Alex Groce, Rajeev Joshi

Browse the full TACAS paper archive.