Semantic crash bucketing. - Rijnard van Tonder; John Kotheimer; Claire Le Goues (ASE, 2018)