1248 search results - page 12 / 250 » The I Test |
VISUALIZATION
2003
IEEE
14 years 24 days ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
TABLEAUX
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents the results of applying RACE, a description logic system for ALCNHR+ , to modal logic SAT problems. Some aspects of the RACE architecture are discusse...
ISCIS
2004
Springer
14 years 27 days ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
ASYNC
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a low-overhead method for delay fault testing in high-speed asynchronous pipelines. The key features of our work are: (i) testing strategies can be administered using l...
TAP
2007
Springer
14 years 1 months ago
2007
Springer
We present a new automatic test generation method for JAVA CARD based on attempts at formal verification of the implementation under test (IUT). Self-contained unit tests in JUnit...