3 ms·Property-Based Testing in a Screencast Editor, Case Study 1: Timeline Flattening1 points by owickstrom 8y ago