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

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

Creators

  • 1. Purdue University

Description

This artifact contains:

  1. README.md : the artifact guide.
  2. poirot-full.pdf: full paper with the appendix.
  3. poirot_pldi-2023.tar.gz: the docker image (optional, we recommend to pull from the docker hub, see README.md).
  4. Dockerfile: the docker file that can reproduce the docker image (optional, we recommend to pull from the docker hub, see README.md).

Files

poirot-full.pdf

Files (2.1 GB)

Name Size Download all
md5:b039beac536a603703b118b6b434e030
2.0 kB Download
md5:30960476ace068b5e924897d07c98713
740.0 kB Preview Download
md5:43e3bf251612010cdd2e296265f47df7
2.1 GB Download
md5:35c386f6bb7aaf88790d02f1837b7d8c
26.4 kB Preview Download