Assertion Generation Through Active Learning.

Long H. Pham, Lyly Tran Thi, Jun Sun

Browse the full ICFEM paper archive.