Using Dynamic Analysis to Generate Disjunctive Invariants.

ThanhVu Nguyen Deepak Kapur Westley Weimer Stephanie Forrest

Published in: CoRR (2019)

Keyphrases

dynamic analysis
static analysis
reverse engineering
model checking
automatically generating
artificial intelligence
data sets
databases
knowledge base
affine invariant