A Tool for Testing Data Type Implementations from Maude Algebraic Specifications.

Isabel Pita Adrián Riesco

Published in: Electron. Notes Theor. Comput. Sci. (2012)

Keyphrases

data types
formal specification
data model
unit testing
data structure
user defined
database systems
database management systems
database server
object relational
test cases
data mining algorithms
metadata
formal verification
data formats
high level
model checking
database objects
logical design
storage structures