21183 search results - page 348 / 4237 » Adaptive Testing by Test |
191
click to vote
ICSEA
2006
IEEE
16 years 21 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...
197
click to vote
ATS
2005
IEEE
16 years 9 days ago
2005
IEEE
Power reduction during test application is important from the viewpoint of chip reliability and for obtaining correct test results. One of the ways to reduce scan test power is to...
140
click to vote
VTS
2005
IEEE
16 years 7 days ago
2005
IEEE
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...
151
click to vote
FATES
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Railway control systems are timed and safety-critical. Testing these systems is a key issue. Prior to system testing, the software of a railway control system is tested s...
283
click to vote
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...