Eric Larson. [Research Paper] Automatic Checking of Regular Expressions. In 18th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2018, Madrid, Spain, September 23-24, 2018. pages 225-234, IEEE Computer Society, 2018. [doi]
Abstract is missing.