Login / Signup

Exploiting Traces in Program Analysis.

Alex GroceRajeev Joshi
Published in: TACAS (2006)
Keyphrases
  • log files
  • image sequences
  • np hard
  • general purpose
  • open source