Published June 15, 2023 | Version 1
Journal article Open

Q_Graph Data and Code

Authors/Creators

  • 1. Lancaster University

Description

Zip file holds the source code and the data for Q_Graph algorithm in generating test cases from timed or untimed FSMs.

Files

Q_Graph.zip

Files (395.2 MB)

Name Size
md5:744c027cdbd237c1ae5adb5071e878e6
395.2 MB Preview Download

Additional details

Funding

UK Research and Innovation
UKRI Trustworthy Autonomous Systems Node in Verifiability EP/V026801/1