Sciweavers

207 search results - page 23 / 42
» Testing and Model-Checking Techniques for Diagnosis
Sort
View
CIDM
2009
IEEE
16 years 27 days ago
Automatic analysis of eye tracking data for medical diagnosis
— Several studies have analyzed the link between mental dysfunctions and eye movements, using eye tracking techniques to determine where a person is looking, that is, the fixati...
Filippo Galgani, Yiwen Sun, Pier Luca Lanzi, Jason...
ISSTA
2006
ACM
16 years 3 days ago
Test input generation for java containers using state matching
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
Willem Visser, Corina S. Pasareanu, Radek Pel&aacu...
GLVLSI
2005
IEEE
118views VLSI» more  GLVLSI 2005»
15 years 11 months ago
High-diagnosability online built-in self-test of FPGAs via iterative bootstrapping
We develop a novel on-line built-in self-test (BIST) technique for testing FPGAs that has a very high diagnosability even in presence of clustered faults, a fault pattern for whic...
Vishal Suthar, Shantanu Dutt
OOPSLA
2007
Springer
16 years 8 days ago
The design and implementation of formal monitoring techniques
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
Eric Bodden
ITC
2003
IEEE
149views Hardware» more  ITC 2003»
15 years 11 months ago
On Reducing Aliasing Effects and Improving Diagnosis of Logic BIST Failures
Diagnosing failing vectors in a Built-In Self Test (BIST) environment is a difficult task because of the highly compressed signature coming out of the Multiple Input Shift Regist...
Ramesh C. Tekumalla