S>О чем речь, можно подробнее с ссылками.

Не знаю, насколько вы знакомы вообще с теорией тестирования, но если достаточно глубоко, и хочется понять, почему PBT это не "тестирование на рандомных данных", стоит взглянуть сюда: http://proper.softlab.ntua.gr/Tutorials/PropEr_testing_with_search_strategies.html

(один из авторов работает в моей команде)

Да, если нужно саму paper, то — здесь: http://proper.softlab.ntua.gr/papers/issta2017.pdf