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

Anonymous

Publication date

March 2023

DOI

Abstract

This artifact contains: README.md : the artifact guide. README.pdf: a pdf version of README.md. poirot-full-version.pdf: the original submission with supplemental materials. Dockerfile: the docker file that can reproduce the docker image (optional). 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)

Extracted data

We use cookies to provide a better user experience.

Data Protection

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

Abstract

Extracted data

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

Abstract

Extracted data

Related items

Related items