Hadar Muchtar

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

ExReg, a human-in-the-loop workflow that automatically generates discriminative examples using SMT-based constraint solving, highlights how automated example generation guided by formal methods and mutations can improve the reliability, efficiency, and trustworthiness of LLM-assisted regex pattern generation.