TY  - RPRT
TI  - Using Dynamic Analysis to Generate Disjunctive Invariants
AU  - ThanhVu Nguyen
AU  - Deepak Kapur
AU  - Westley Weimer
AU  - Stephanie Forrest
PY  - 2019
DO  - 10.1145/2568225.2568275
UR  - https://arxiv.org/abs/1904.07463
ID  - 1904.07463
ER  -