Probabilistic Models for Proof Load Testing · Study