Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript.
Blake LoringDuncan MitchellJohannes KinderPublished in: CoRR (2018)
Keyphrases
- regular expressions
- symbolic execution
- static analysis
- pattern matching
- specification language
- test generation
- finite automata
- semistructured data
- query language
- open source
- xml schema
- deterministic finite automata
- data sets
- approximate matching
- test data generation
- query evaluation
- conceptual model
- semantic information
- source code
- object oriented
- artificial intelligence