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