3 ms·Time Travelling and Fixing Bugs with Property-Based Testing (2019)21 points by todsacerdoti 10mo ago