Static Analysis for Checking the Disambiguation Robustness of Regular Expressions.
Konstantinos MamourasAlexis Le GlaunecWu Angela LiAgnishom ChattopadhyayPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- regular expressions
- static analysis
- dynamic analysis
- pattern matching
- finite automata
- semistructured data
- xml schema
- abstract interpretation
- symbolic execution
- deterministic finite automata
- co occurrence
- query language
- tree automata
- regular languages
- natural language processing
- java card
- regular path queries
- natural language
- matching algorithm
- query evaluation
- text mining
- domain knowledge