Published March 6, 2023
| Version v1.3
Journal article
Open
PLDI2023 Artifact: Covering All the Bases: Type-based Verification of Test Input Generators
Description
This artifact contains:
- README.md : the artifact guide.
- poirot-SM.pdf: original paper with 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).