Info: Zenodo’s user support line is staffed on regular business days between Dec 23 and Jan 5. Response times may be slightly longer than normal.

There is a newer version of the record available.

Published March 6, 2023 | Version v1.0
Journal article Open

PLDI2023 Artifact: Covering All the Bases: Type-based Verification of Test Input Generators

Creators

  • 1. Anonymous

Description

This artifact contains:

  1. README.md : the artifact guide.
  2. README.pdf: a pdf version of README.md.
  3. poirot-full-version.pdf: the original submission with supplemental materials.
  4. Dockerfile: the docker file that can reproduce the docker image (optional).
  5. poirot_pldi-2023.tar.gz: the docker image (optional, we recommend the readers pull the docker image from the docker hub directly, see README.md).

Files

poirot-full-version.pdf

Files (2.1 GB)

Name Size Download all
md5:b00cd2214af4b1ab399a2890032d6c5c
2.0 kB Download
md5:cdee3e4d624c7ae018c340074e3f170c
710.4 kB Preview Download
md5:89f506e99842d4f5d026f124b80bf620
2.1 GB Download
md5:629f4937d40f314817a67b9d6da2979b
33.4 kB Preview Download
md5:8b6b55464d1699789bd5814072e81f9a
136.8 kB Preview Download