1722 search results - page 58 / 345 » Generating Tests from Counterexamples |
140
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
In this paper we consider the problem of characterizing optimal variable orderings for shared OBDDs of two Boolean functions fi = gi i hi, i = 1, 2, where i is an operator from th...
183
click to vote
ICST
2009
IEEE
16 years 19 days ago
2009
IEEE
Web Services (WSs) are the W3C-endorsed realization of the Service-Oriented Architecture (SOA). Since they are supposed to be implementation-neutral, WSs are typically tested blac...
189
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
177
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
153
click to vote
MTDT
2000
IEEE
15 years 10 months ago
2000
IEEE
In this work, we present the application of Generalized Linear Feedback Shift Registers (GLFSRs) for generation of patterns for pseudo-random memory Built-In SelfTest (BIST). Rece...