Sciweavers

1399 search results - page 26 / 280
» Verification of Test Suites
Sort
View
FMCAD
2007
Springer
15 years 8 months ago
Formal Verification of Partial Good Self-Test Fencing Structures
— The concept of applying partial fencing to logic built-in self test (LBIST) hardware structures for the purpose of using partially good chips is well known in the chip design i...
Adrian E. Seigler, Gary A. Van Huben, Hari Mony
STVR
2002
88views more  STVR 2002»
15 years 1 months ago
Empirical studies of test-suite reduction
Test-suite reduction techniques attempt to reduce the costs of saving and reusing test cases during software maintenance by eliminating redundant test cases from test suites. A po...
Gregg Rothermel, Mary Jean Harrold, Jeffery von Ro...
CEC
2007
IEEE
15 years 8 months ago
Repository method to suit different investment strategies
— This work is motivated by the interest in finding significant movements in financial stock prices. The detection of such movements is important because these could represent...
Alma Lilia Garcia-Almanza, Edward P. K. Tsang
119
Voted
EUROMICRO
2003
IEEE
15 years 7 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
125
Voted
IASTEDSE
2004
15 years 3 months ago
A deterministic density algorithm for pairwise interaction coverage
Pairwise coverage of factors affecting software has been proposed to screen for potential errors. Techniques to generate test suites for pairwise coverage are evaluated according ...
Charles J. Colbourn, Myra B. Cohen, Renée T...