I really wonder what "randomixed testing" looks like in practice. What is the measure of success/failure?

I undrestand for fuzzing you have a very basic "doesn't crash" metric. Property based tests.... you gotta write properties for the PBTs to work on. What is the randomized testing hitting?