2774 search results - page 18 / 555 » Query-Driven Program Testing |
101
Voted
CP
2005
Springer
15 years 9 months ago
2005
Springer
111
Voted
ICALP
2003
Springer
15 years 8 months ago
2003
Springer
155
Voted
ERLANG
2009
ACM
15 years 8 months ago
2009
ACM
110
Voted
DATE
2006
IEEE
15 years 9 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...
109
Voted
ICCD
2003
IEEE
16 years 17 days 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...