Mining succinct predicated bug signatures
Mining significant graph patterns by leap search