1722 search results - page 111 / 345 » Generating Tests from Counterexamples |
ICDAR
2009
IEEE
13 years 8 months 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...
DFT
2003
IEEE
14 years 4 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...
SIGSOFT
2008
ACM
14 years 11 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...
GI
2009
Springer
14 years 3 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...
IWPC
1999
IEEE
14 years 3 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...