10715 search results - page 282 / 2143 » Proofs from Tests |
140
click to vote
IEAAIE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
126
click to vote
ITC
2003
IEEE
15 years 12 months ago
2003
IEEE
— Being able to test the intrinsic performance of a device under test (DUT) has always been the main goal of a test engineer. Achieving this goal is becoming increasingly diffic...
208
click to vote
DAC
2003
ACM
15 years 12 months ago
2003
ACM
We propose in this paper an extension on the Scan Chain Concealment technique to further reduce test time and volume requirement. The proposed methodology stems from the architect...
192
click to vote
DSVIS
2003
Springer
15 years 12 months ago
2003
Springer
Model Based Testing (MBT) is a functional testing technique that makes use of information from behavioral models of the software to carry out the testing task. This technique has b...
164
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...