Learning Likely Invariants to Explain Why a Program Fails.

Long H. Pham, Jun Sun, Lyly Tran Thi, Jingyi Wang, Xin Peng

Browse the full ICECCS paper archive.