Automatic Synthesis of Regular Expressions from Examples