Class TumblingWindowCorrectness