SMS: The science of debugging