TY  - RPRT
TI  - SymInfer: Inferring Program Invariants using Symbolic States
AU  - ThanhVu Nguyen
AU  - Matthew B. Dwyer
AU  - Willem Visser
PY  - 2019
UR  - https://arxiv.org/abs/1903.11768
ID  - 1903.11768
ER  -