207 search results - page 20 / 42 » Testing and Model-Checking Techniques for Diagnosis |
IJAR
2010
14 years 10 months ago
2010
For diagnosing dyslexia in early childhood, children have to solve non-writing based, graphical tests. Curently, these tests are processed by a human expert; applying artificial ...
ICCAD
1996
IEEE
15 years 3 months ago
1996
IEEE
This paper presents a new approach for diagnosing stuck-at and short faults in interconnects whose layouts are known. This structural approach exploits dierent graph coloring and ...
78
Voted
DATE
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we propose a new circuit transformation technique in conjunction with the use of a special diagnostic test pattern, named SO-SLAT pattern, to achieve higher multipl...
78
Voted
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
131
Voted
VLSID
2010
IEEE
14 years 9 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...