TY  - RPRT
TI  - Quickstrom: Property Based Acceptance Testing with LTL Specifications
AU  - Liam O'Connor
AU  - Oskar Wickström
PY  - 2022
UR  - https://arxiv.org/abs/2203.11532
ID  - 2203.11532
ER  -