There is a newer version of the record available.

Published October 11, 2022 | Version v3
Other Open

Replication package for the paper "Multi-thread Combinatorial Test Generation with SMT solvers"

Creators

  • 1. Anonymous

Description

Replication package for the paper "Multi-thread Combinatorial Test Generation with SMT solvers".

The archive contains both source code, data and scripts for the evaluation of the KALI tool

Files

Files (432.0 kB)

Name Size Download all
md5:82d0124673df8120a64e632b0180febc
432.0 kB Download