1722 search results - page 111 / 345 » Generating Tests from Counterexamples |
126
Voted
ICDAR
2009
IEEE
15 years 10 days ago
2009
IEEE
To exploit the road network in raster maps, the first step is to extract the pixels that constitute the roads and then vectorize the road pixels. Identifying colors that represent...
113
Voted
DFT
2003
IEEE
15 years 8 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...
110
click to vote
SIGSOFT
2008
ACM
16 years 3 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...
105
click to vote
GI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we introduce SYGo, an innovative hide-andseek game which is part of the AMOGA research project of the University of Bonn in cooperation with and funded by D...
91
Voted
IWPC
1999
IEEE
15 years 6 months ago
1999
IEEE
One of the fundamental problems with the static analysis of binary (executable) code is that7 of recognizing, in a machine-independent way, the target addresses of n-conditional b...