Published May 1, 2026
| Version v1
Dataset
Open
ExReg: Using Automated Example Generation to Guide Candidate Disambiguation in Regular Expression Construction
Authors/Creators
Description
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 discriminative
test strings, ExReg generates them automatically using SMT-based constraint solving (OSTRICH) and mutation-based testing.