3090 search results - page 237 / 618 » On Testing Answer-Set Programs |
166
click to vote
DFT
2003
IEEE
15 years 11 months ago
2003
IEEE
1 This paper presents a solution to the test time minimization problem for core-based systems that contain sequential cores with STUMPS architecture. We assume a hybrid BIST approa...
144
click to vote
ICCAD
1997
IEEE
15 years 10 months ago
1997
IEEE
A built-in self-test (BIST) methodology to test system backplanes by using BIST functionality in each of its constituent boards is presented. Since the configurations of systems ...
151
Voted
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
147
click to vote
ISSTA
2009
ACM
16 years 29 days ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
170
click to vote
ACMSE
2004
ACM
15 years 12 months ago
2004
ACM
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...