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.html: a html version of README.md. poirot-SM.pdf: the supplemental materials. poirot_pldi-2023.tar.gz: the docker image (optional, we recommend to pull from the docker hub, see README.md). Dockerfile: the docker file that can reproduce the docker image (optional, we recommend to pull from the docker hub, 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