Testing Data Types Implementations from Algebraic Specifications.

Marie-Claude Gaudel Pascale Le Gall

Published in: Formal Methods and Testing (2008)

Keyphrases

data types
data model
database systems
data structure
database management systems
user defined
back end
storage structures
data mining algorithms
abstract data types
machine learning
relational databases
query processing
multi dimensional
test cases
data manipulation language