Random testing of purely functional abstract datatypes: guidelines for dealing with operation invariance.

Stefan Holdermans

Published in: PPDP (2013)

Keyphrases

data types
abstract data types
data structure
database systems
user defined
data model
database management systems
test cases
randomly generated
real time
high level
tool support
databases
genetic algorithm
object oriented
scale invariance