Sciweavers

980 search results - page 10 / 196
» Logical Testing
Sort
View
145
Voted
FTCS
1993
94views more  FTCS 1993»
15 years 7 months ago
Balance Testing of Logic Circuits
We present a new test response compression method called cumulative balance testing (CBT)that extends both balance testing and accumulatorcompression testing. CBT uses an accumulat...
Krishnendu Chakrabarty, John P. Hayes
121
Voted
TAP
2009
Springer
125views Hardware» more  TAP 2009»
16 years 10 days ago
Complementary Criteria for Testing Temporal Logic Properties
Gordon Fraser, Franz Wotawa
149
Voted
LICS
1999
IEEE
15 years 10 months ago
On Hoare Logic and Kleene Algebra with Tests
Dexter Kozen