6014 search results - page 114 / 1203 » Structural Testing with Use Cases |
128
click to vote
ICCAD
1997
IEEE
15 years 6 months ago
1997
IEEE
We consider the problem of built-in test generation for synchronous sequential circuits. The proposed scheme leaves the circuit flip-flops unmodified, and thus allows at-speed ...
111
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
We present CESE, a tool that combines exhaustive enumeration of test inputs from a structured domain with symbolic execution driven test generation. We target programs whose valid...
134
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: In structural genomics, an important goal is the detection and classification of protein–protein interactions, given the structures of the interacting partners. We h...
117
click to vote
IROS
2008
IEEE
15 years 8 months ago
2008
IEEE
— The synchronization of image sequences acquired by robots swarms is an essential task for localization operations. We address this problem by considering the swarms as dynamic ...
121
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...