6800 search results - page 220 / 1360 » Testing with Functions as Specifications |
144
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Test factoring creates fast, focused unit tests from slow systemwide tests; each new unit test exercises only a subset of the functionality exercised by the system tests. Augmenti...
119
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract--In this paper, Bayesian hypothesis testing is investigated when the prior probabilities of the hypotheses, taken as a random vector, are quantized. Nearest neighbor and c...
183
click to vote
MA
2011
Springer
14 years 11 months ago
2011
Springer
The class of dual φ-divergence estimators (introduced in Broniatowski and Keziou (2009) [6]) is explored with respect to robustness through the influence function approach. For ...
139
click to vote
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
Comparing chromosomal gene order in two or more related species is an important approach to studying the forces that guide genome organization and evolution. Linked clusters of si...
150
click to vote
EDCC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We present the PathCrawler prototype tool for the automatic generation of test-cases satisfying the rigorous all-paths criterion, with a user-defined limit on the number...