Test case generation from context-free grammars using generalized traversal of LR-automata.
Christoff RossouwBernd FischerPublished in: SLE (2020)
Keyphrases
- context free grammars
- test case generation
- tree automata
- regular expressions
- context free
- test cases
- regular languages
- covering arrays
- grammatical inference
- formal languages
- finite automata
- software testing
- object oriented systems
- context free languages
- static analysis
- test suite
- test data generation
- production rules
- predicate invention
- xml schema
- tree adjoining
- data sets
- finite state
- pattern matching
- error rate
- neural network
- finite state machines
- integrity constraints
- object oriented