Published January 24, 2023
| Version icst-2023-benchmark
Software
Open
Tritlo/quickspec: ICST 2023 Benchmark
Creators
- 1. Quviq AB
- 2. CS Kerckhove
- 3. Chalmers University of Technology
Description
QuickSpec as used for benchmarking for ICST 2023
Files
Tritlo/quickspec-icst-2023-benchmark.zip
Files
(143.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:2b5016e065515c624acf5b84accff72c
|
143.6 kB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/Tritlo/quickspec/tree/icst-2023-benchmark (URL)