Login / Signup

Using dynamic analysis to generate disjunctive invariants.

ThanhVu NguyenDeepak KapurWestley WeimerStephanie Forrest
Published in: ICSE (2014)
Keyphrases
  • dynamic analysis
  • static analysis
  • reverse engineering
  • automatically generate
  • malicious behavior
  • neural network
  • data sets
  • multiscale
  • pattern recognition
  • object recognition
  • deductive databases
  • moment invariants