Long H. Pham, Jun Sun 0001, Lyly Tran Thi, Jingyi Wang, Xin Peng. Learning Likely Invariants to Explain Why a Program Fails. In 22nd International Conference on Engineering of Complex Computer Systems, ICECCS 2017, Fukuoka, Japan, November 5-8, 2017. pages 70-79, IEEE Computer Society, 2017. [doi]
Abstract is missing.