Reggae: Automated Test Generation for Programs Using Complex Regular Expressions.
Nuo LiTao XieNikolai TillmannJonathan de HalleuxWolfram SchultePublished in: ASE (2009)
Keyphrases
- regular expressions
- test generation
- static analysis
- symbolic execution
- pattern matching
- finite automata
- query language
- tree automata
- semistructured data
- query evaluation
- regular path queries
- deterministic finite automata
- test cases
- regular languages
- quality assurance
- design automation
- high level
- xml schema
- graph databases
- first order logic