There is a newer version of the record available.

Published March 5, 2022 | Version v4
Software Open

Quickstrom: Property-based acceptance testing with LTL specifications

Creators

  • 1. University of Edinburgh
  • 2. Monoid Consulting

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.

Files

README.txt

Files (11.8 GB)

Name Size Download all
md5:7d6ef8dc00a5ecde61ae62e0bc9f1e10
11.0 GB Download
md5:8e92eb62aedade281efd509fd7963951
654.8 MB Download
md5:fd71389791c55f7d99bfafbf851cf536
1.5 kB Download
md5:7f5cea35c22a632346935f432725007b
12.1 kB Preview Download
md5:dfef316feedf57292d03288790dc297a
152.5 MB Preview Download