Quickstrom: Property-based acceptance testing with LTL specifications

  • Liam O'Connor (Creator)
  • Oskar Wickström (Creator)

Dataset

Description

This is the research artifact for peer review, for the Quickstrom property-based testing tool. Please see the attached README.txt for more information.

Data Citation

O'Connor, L., & Wickström, O. (2022). Quickstrom: Property-based acceptance testing with LTL specifications. Zenodo. https://doi.org/10.5281/zenodo.6416483
Date made available5 Mar 2022
PublisherZenodo

Cite this