2026 search results - page 225 / 406 » Tools for Test Case Generation |
166
click to vote
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...
151
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
This paper presents u-Photo which is an interactive digital still image including information of pervasive services associated with networked appliances and sensors in pervasive co...
137
click to vote
ICDCS
1993
IEEE
15 years 9 months ago
1993
IEEE
In this paper, we propose a diagnostic algorithm for the case where distributed system specifications (implementations) are given in the form of communicating finite state machine...
150
Voted
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
145
click to vote
VLSID
2004
IEEE
16 years 5 months ago
2004
IEEE
Recent research for testable designs has focussed on inserting test structures by re-arranging an Register-TransferLevel (RTL) data path generated from a behavioural description t...