Published March 6, 2023
| Version v1.2
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.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).
Files
poirot-SM.pdf
Files
(2.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:72c44e1cfd84ce6233a8d7b3e4c2e13a
|
2.0 kB | Download |
|
md5:4fa8da17d96a0df57e12b13096088533
|
1.1 MB | Preview Download |
|
md5:26d333df35f37814444d355010f3ac85
|
2.1 GB | Download |
|
md5:6cb49fccfa4c5aaa1305e0833f4393ab
|
1.3 MB | Download |
|
md5:cdf2e56003572c3ba3a3977f393b4179
|
30.2 kB | Preview Download |