2302 search results - page 75 / 461 » Testing as Abstraction |
147
click to vote
DASFAA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. In this paper we propose a new approach to XML benchmarking – a flexible XML query benchmark called FlexBench. The flexibility is given by two aspects. Firstly, FlexB...
148
click to vote
EDCC
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. The paper presents a new approach to transparent BIST for wordoriented RAMs which is based on the transformation of March transparent test algorithms to the symmetric ver...
160
click to vote
APPML
2002
15 years 6 months ago
2002
Abstract. The linear extended kinetic equation for monoatomic test particles undergoing elastic and inelastic scattering with a background of heavy multi-level field particles is a...
158
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
159
click to vote
ITC
1997
IEEE
15 years 10 months ago
1997
IEEE
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...