Zaslat SMS: Probabilistic fault localisation