Automated Test Case Generation for Programs Specified by Relational Algebra Queries.
Wei-Tek TsaiDmitry VolovikThomas F. KeefePublished in: IEEE Trans. Software Eng. (1990)
Keyphrases
- relational algebra
- query language
- relational calculus
- test case generation
- database query languages
- probabilistic databases
- relational database systems
- expressive power
- relational operators
- data model
- relational data model
- duplicate elimination
- relational model
- aggregate functions
- java programs
- complex objects
- test cases
- recursive queries
- null values
- normal form
- join operator
- query evaluation
- first order logic
- summary tables
- software testing
- database
- object oriented systems
- object oriented
- query processing
- test data generation
- test suite
- statistical databases
- xml data
- relational queries
- relational databases
- database systems
- relational algebra expressions
- reverse engineering
- regular expressions
- conceptual model
- user defined
- building blocks
- database management systems
- knowledge representation
- feature space
- machine learning