Test input generation for red-black trees using abstraction.

Willem Visser Corina S. Pasareanu Radek Pelánek

Published in: ASE (2005)

Keyphrases

decision trees
test data
high level
search algorithm
input data
statistical tests
generation process
neural network
data mining
learning algorithm
artificial intelligence
information systems
image sequences
multiresolution
low level
tree automata