Sciweavers

2006 search results - page 53 / 402
» Testing with Respect to Concerns
Sort
View
ET
2002
67views more  ET 2002»
13 years 8 months ago
On-the-Fly Reseeding: A New Reseeding Technique for Test-Per-Clock BIST
In this paper we present a new reseeding technique for test-per-clock test pattern generation suitable for at-speed testing of circuits with random-pattern resistant faults. Our te...
Emmanouil Kalligeros, Xrysovalantis Kavousianos, D...
SIGSOFT
2007
ACM
14 years 9 months ago
State coverage: a structural test adequacy criterion for behavior checking
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
Ken Koster, David Kao
APPROX
2007
Springer
153views Algorithms» more  APPROX 2007»
14 years 3 months ago
Distribution-Free Testing Lower Bounds for Basic Boolean Functions
: In the distribution-free property testing model, the distance between functions is measured with respect to an arbitrary and unknown probability distribution D over the input dom...
Dana Glasner, Rocco A. Servedio
ICSM
2005
IEEE
14 years 2 months ago
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
Hyunsook Do, Gregg Rothermel
PASTE
2005
ACM
14 years 2 months ago
An empirical framework for comparing effectiveness of testing and property-based formal analysis
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
Jeremy S. Bradbury, James R. Cordy, Jürgen Di...