Sciweavers

714 search results - page 16 / 143
» Verification and Compliance Testing
Sort
View
ICSE
2007
IEEE-ACM
16 years 3 months ago
Randomized Differential Testing as a Prelude to Formal Verification
Most flight software testing at the Jet Propulsion Laboratory relies on the use of hand-produced test scenarios and is executed on systems as similar as possible to actual mission...
Alex Groce, Gerard J. Holzmann, Rajeev Joshi
DFT
1997
IEEE
108views VLSI» more  DFT 1997»
15 years 7 months ago
Generation and Verification of Tests for Analogue Circuits Subject to Process Parameter Deviations
The paper presents a test pattern generation and fault simulation methodology for the detection of catastrophic faults in analogue circuits. The test methodology chosen for evalua...
Stephen J. Spinks, Chris D. Chalk, Ian M. Bell, Ma...
173
Voted
TSE
2010
120views more  TSE 2010»
14 years 10 months ago
Efficient Software Verification: Statistical Testing Using Automated Search
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
Simon M. Poulding, John A. Clark
ESEC
1997
Springer
15 years 7 months ago
Cryptographic Verification of Test Coverage Claims
The market for software components is growing, driven on the "demand side" by the need for rapid deployment of highly functional products, and on the "supply side&q...
Premkumar T. Devanbu, Stuart G. Stubblebine
85
Voted
DAC
2005
ACM
16 years 4 months ago
A generic micro-architectural test plan approach for microprocessor verification
Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Ki...