Published March 6, 2023
| Version v1.0
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.
- 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).
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 |