Testing Logic Networks and Designing for Testability.

Thomas W. Williams Kenneth P. Parker

Published in: Computer (1979)

Keyphrases

test data generation
multi valued
cellular networks
computer networks
learning algorithm
network model
test cases
logic programming
data sets
social network analysis
complex networks
modal logic
automated reasoning
multi agent systems
social networks
test generation
proof theory