Property based testing – a brief retrospective · HackerTrans