Efficient Enumeration of Regular Expressions for Faster Regular Expression Synthesis

Su-Hyeon Kim Hyeonseung Im Sang-Ki Ko