ExReg: Using Automated Example Generation to Guide Candidate Disambiguation in Regular Expression Construction
收藏DataCite Commons2026-05-05 更新2026-05-07 收录
下载链接：
https://zenodo.org/doi/10.5281/zenodo.19958449
下载链接
链接失效反馈官方服务：
资源简介：
ExReg: Replication Package Replication package for the paper: ExReg: Using Automated Example Generation to Guide Candidate Disambiguation in Regular ExpressionConstruction
ExReg is a human-in-the-loop pipeline for LLM-based regex generation. Instead of asking developers to construct discriminativetest strings, ExReg generates them automatically using SMT-based constraint solving (OSTRICH) and mutation-based testing.
提供机构：
Zenodo
创建时间：
2026-05-05
