On random testing of sequential digital logic with a high confidence measure (abstract).

Published in: ACM Conference on Computer Science (1986)

Keyphrases

confidence measure
confidence values
confidence measures
wide range
high level
multi valued
modal logic
logic programming
high quality
single image
test cases
higher level
uniformly distributed
software engineering
classical logic
knowledge representation
asynchronous circuits
neural network