Automatic Generation of Normal Forms for Testing Object-Oriented Software.
Huo Yan ChenT. H. TsePublished in: QSIC (2009)
Keyphrases
- object oriented software
- normal form
- data flow
- object oriented
- design patterns
- database design
- regression testing
- software architecture
- relational databases
- software development
- functional dependencies
- database theory
- relational algebra
- formal definitions
- nested relations
- database applications
- prime implicates
- information content
- software testing
- data dependencies
- function symbols
- relational database theory
- reverse engineering
- test suite
- software maintenance
- artificial intelligence
- test cases
- e learning