Fault-based test generation for regular expressions by mutation.
Paolo ArcainiAngelo GargantiniElvinia RiccobenePublished in: Softw. Test. Verification Reliab. (2019)
Keyphrases
- regular expressions
- test generation
- static analysis
- pattern matching
- test cases
- finite automata
- query language
- design automation
- semistructured data
- tree automata
- deterministic finite automata
- regular path queries
- xml schema
- software testing
- regular languages
- quality assurance
- matching algorithm
- context free grammars
- finite state machines
- machine learning
- graph databases
- software systems
- test set
- high level