Learning a Strategy for Choosing Widening Thresholds from a Large Codebase

Sooyoung Cha, Sehun Jeong, Hakjoo Oh. Learning a Strategy for Choosing Widening Thresholds from a Large Codebase. In Atsushi Igarashi, editor, Programming Languages and Systems - 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21-23, 2016, Proceedings. Volume 10017 of Lecture Notes in Computer Science, pages 25-41, 2016. [doi]

Abstract

Abstract is missing.