1399 search results - page 66 / 280 » Verification of Test Suites |
145
click to vote
CP
2007
Springer
15 years 8 months ago
2007
Springer
Recently, constraint-programming techniques have been used to generate test data and to verify the conformity of a program with its specification. Constraint generated for these ta...
123
click to vote
ICDAR
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we evaluate the performance on Arabic handwriting of the text-independent writer identification methods that we developed and tested on Western script in recent yea...
151
click to vote
TAICPART
2010
IEEE
15 years 2 months ago
2010
IEEE
We report on how the Wrangler refactoring tool has been used to improve and transform test code for Erlang systems. This has been achieved through the removal of code clones, the i...
136
click to vote
TAICPART
2006
IEEE
15 years 10 months ago
2006
IEEE
ract: Problem Statement and Hypothetical Solutions Shaukat Ali Verification and Testing Group (VT) Department of Computer Science University of Sheffield
120
click to vote
IGPL
2006
15 years 4 months ago
2006
Abstract. We consider the case where inconsistencies are present between a system and its corresponding model, used for automatic verification. Such inconsistencies can be the resu...