[Research Paper] Automatic Checking of Regular Expressions | IEEE Conference Publication | IEEE Xplore