2 points by pushcx
I think this was already posted as https://lobste.rs/s/tp8gzj/empirical_evaluation_property_based
Yeah, same paper at a different URL. Thanks for catching the dupe.