ExReg: Using Automated Example Generation to Guide Candidate Disambiguation in Regular Expression Construction

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.