Quickstrom: property-based acceptance testing with LTL specifications. - Liam O'Connor; Oskar Wickström (PLDI, 2022)