Quickstrom: property-based acceptance testing with LTL specifications.

Liam O'Connor, Oskar Wickstrm

Browse the full PLDI paper archive.