An Improved Algorithm for Deriving Checking Experiments.

Robert D. Braun Donald D. Givone

Published in: IEEE Trans. Computers (1979)

Keyphrases

consistency checking
information retrieval
data sets
machine learning
logic programs
database
three dimensional
high level
data exchange