• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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