Sign in
Test-point insertion: scan paths through functional logic.
Chih-Chang Lin
Malgorzata Marek-Sadowska
Kwang-Ting Cheng
Mike Tien-Chien Lee
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1998)
Keyphrases
</>
artificial intelligence
programming language
logic programming
predicate logic
test cases
statistical tests
built in self test
data sets
deontic logic
classical logic
automated reasoning
probability theory
software testing
statistical significance
modal logic
shortest path
machine learning
neural network