Mining succinct predicated bug signatures - Sun, C. (2014)
10.1145/2491411.2491449