Assertion generation through active learning

Long H. Pham, Lyly Tran Thi, Jun Sun 0001. Assertion generation through active learning. In Sebastián Uchitel, Alessandro Orso, Martin P. Robillard, editors, Proceedings of the 39th International Conference on Software Engineering, ICSE 2017, Buenos Aires, Argentina, May 20-28, 2017 - Companion Volume. pages 155-157, ACM, 2017. [doi]

Abstract

Abstract is missing.