Time Travelling and Fixing Bugs with Property-Based Testing (2019)