Assertion generation through active learning.

Long H. Pham, Lyly Tran Thi, Jun Sun

Browse the full ICSE paper archive.