Control-Flow Checking via Regular Expressions.
Alfredo BensoStefano Di CarloGiorgio Di NatalePaolo PrinettoLuca TagliaferriPublished in: Asian Test Symposium (2001)
Keyphrases
- regular expressions
- control flow
- data flow
- pattern matching
- finite automata
- semistructured data
- query language
- process model
- deterministic finite automata
- tree automata
- software testing
- xml schema
- matching algorithm
- modeling language
- regular path queries
- query evaluation
- workflow management systems
- context free grammars
- data model
- data integration
- object oriented
- domain knowledge
- xml documents
- multi agent systems