Using dynamic analysis to discover polynomial and array invariants.

ThanhVu Nguyen Deepak Kapur Westley Weimer Stephanie Forrest

Published in: ICSE (2012)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking

malicious behavior
affine invariant
low order
linear array

implicit polynomial
abstract interpretation
neural network
artificial intelligence

source code
moment invariants
geometric invariants