Published June 3, 2026 | Version v1
Software Open

Programmable Property-Based Testing — ICFP 2026 Artifact

Authors/Creators

  • 1. EDMO icon University of Maryland
  • 2. ROR icon University of Maryland, College Park
  • 3. ROR icon University of Pennsylvania

Files

README.md

Files (14.0 GB)

Name Size
md5:a05971254651e98d3f8f0d668e5ae082
13.6 GB Download
md5:6b2839c5b04948ce6dd45b77d7a5f13b
392.9 MB Download
md5:c2712386231ad6acc5e3ece4110d4c62
6.3 kB Preview Download
md5:0b90bbea8a7f2a488ecda4f43331963a
17.4 kB Preview Download
md5:51e9cc3c61518f54283a43bc26da8276
408 Bytes Download
md5:9c40ec15f99c3dd85139bea7278f8f50
2.4 kB Download

Additional details

Software

Repository URL
https://github.com/alpaylan/programmable-pbt-artifact/
Programming language
Coq , Racket
Development Status
Concept