1399 search results - page 57 / 280 » Verification of Test Suites |
234
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
133
Voted
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
123
click to vote
DAC
2002
ACM
16 years 5 months ago
2002
ACM
One of the main goals of coverage tools is to provide the user with informative presentation of coverage information. Specifically, information on large, cohesive sets of uncovere...
117
click to vote
PAMI
2008
15 years 4 months ago
2008
A randomized model verification strategy for RANSAC is presented. The proposed method finds, like RANSAC, a solution that is optimal with user-specified probability. The solution i...
130
click to vote
FGR
2004
IEEE
15 years 7 months ago
2004
IEEE
The variation of illumination conditions of an object can produce large changes in the image plane, significantly impairing the performance of face verification algorithms. We pre...