4306 search results - page 156 / 862 » Timed Testing with TorX |
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
1 This paper presents a BIST strategy for testing the NoC interconnect network, and investigates if the strategy is a suitable approach for the task. All switches and links in the ...
148
Voted
FOCS
2002
IEEE
15 years 7 months ago
2002
IEEE
We consider the problem of testing 3-colorability in the bounded-degree model. We show that, for small enough ε, every tester for 3colorability must have query complexity Ω(n)....
134
Voted
SAC
2009
ACM
15 years 9 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
134
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
76
Voted
CLEF
2001
Springer
15 years 7 months ago
2001
Springer
Participating in a text retrieval conference for the first time, Eidetica has run six minimalistic tests with its t·repository indexer, doing as little tuning as possible, in ord...