Testing data types implementations from algebraic specifications
Marie-Claude GaudelPascale Le GallPublished in: CoRR (2008)
Keyphrases
- data types
- data model
- data structure
- user defined
- database systems
- database management systems
- back end
- abstract data types
- database server
- storage structures
- data mining algorithms
- data formats
- microsoft sql server
- data manipulation language
- business rules
- database design
- software testing
- database objects
- training set
- information retrieval
- real world
- databases
- database