Checking for CFFD-Preorder with Tester Processes.

Juhana Helovuo Antti Valmari

Published in: TACAS (2000)

Keyphrases

black box
multiscale
neural network
real world
learning algorithm
natural language
information technology
trade off
user interface
test cases