Automated Testability Enhancements for Logic Brick Libraries.

Jason G. Brown Brian Taylor Ronald D. Blanton Larry T. Pileggi

Published in: DATE (2008)

Keyphrases

fully automated
logic programming
digital libraries
semi automated
classical logic
data mining
set theory
logical framework
multi valued
data driven
multimedia
computer assisted
fully automatic
automated reasoning
information retrieval
defeasible logic
real world
truth values
test data generation