2774 search results - page 18 / 555 » Query-Driven Program Testing |
CP
2005
Springer
14 years 1 months ago
2005
Springer
ICALP
2003
Springer
14 years 26 days ago
2003
Springer
ERLANG
2009
ACM
14 years 10 days ago
2009
ACM
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Software-based self-test (SBST) of processors offers many benefits, such as dispense with expensive test equipments, test execution during maintenance and in the field or initiali...
ICCD
2003
IEEE
14 years 4 months ago
2003
IEEE
We discuss the compaction of independent test sequences for sequential circuits. Our first contribution is the formulation of this problem as an integer program, which we then so...