Deterministically assessing the robustness against transient faults of programs