TY  - RPRT
TI  - Learning Likely Invariants to Explain Why a Program Fails
AU  - Jun Sun
AU  - Long H. Pham
AU  - Lyly Tran Thi
AU  - Jingyi Wang
AU  - Xin Peng
PY  - 2016
DO  - 10.1109/iceccs.2017.12
UR  - https://arxiv.org/abs/1610.08607
ID  - 1610.08607
ER  -