Login / Signup
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