Published July 29, 2025
| Version v2
Software
Open
We've Got You Covered: Type-Guided Repair of Incomplete Input Generators
Description
This is the accompanying artifact for `We've Got You Covered: Type-Guided Repair
of Incomplete Input Generators`, the revised version. A PDF of this paper is included in the root directory.
Files
Cobb_Artifact_Revision.zip
Files
(7.1 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:a8182186cff1925658f2d65a3a78e14f
|
3.4 GB | Download |
|
md5:7d24e90267c1f380c9e94704dec70b77
|
3.7 GB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: arXiv:2504.06421 (arXiv)
Software
- Repository URL
- https://github.com/Pat-Lafon/Cobb_Artifact
- Programming language
- OCaml
- Development Status
- Active