SoSy-Lab Artifacts Collection
Published February 13, 2020 | Version 1.0
Software Open

Reproduction Package for STTT Article `Cooperative, Verifier-Based Testing with CoVeriTest'

Creators

  • 1. LMU Munich, Germany
  • 2. TU Darmstadt, Germany

Description

This is the reproduction package for the paper "Cooperative, Verifier-Based Testing with CoVeriTest" written by Dirk Beyer and Marie-Christine Jakobs. The paper is published in the International Journal on Software Tools for Technology Transfer.

 

Notes

Supplementary Webpage: https://www.sosy-lab.org/research/coop-testgen/STTT/

Files

CoVeriTest-STTT-artifact.zip

Files (4.7 GB)

Name Size Download all
md5:487f27625bd984069b93b65ff63c975d
4.7 GB Preview Download