Login / Signup

AccMon: Automatically Detecting Memory-Related Bugs via Program Counter-Based Invariants.

Pin ZhouWei LiuLong FeiShan LuFeng QinYuanyuan ZhouSamuel P. MidkiffJosep Torrellas
Published in: MICRO (2004)
Keyphrases
  • automatically detecting
  • automatic detection
  • static analysis
  • imperative programs
  • test cases
  • multimedia
  • high level