1399 search results - page 79 / 280 » Verification of Test Suites |
149
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper investigates software agents testing, and in particular how to automate test generation. We propose a novel approach, which takes advantage of agent interaction ontolog...
175
click to vote
CAV
2003
Springer
15 years 9 months ago
2003
Springer
We generalize the traditional definition of a multicounter machine (where the counters, which can only assume nonnegative integer values, can be incremented/decremented by 1 and te...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Recently, Multiple Background Models (M-BMs) [1, 2] have been shown to be useful in speaker verification, where the M-BMs are formed based on different Vocal Tract Lengths (VTLs)...
165
click to vote
GECCO
2005
Springer
15 years 11 months ago
2005
Springer
The efficient and effective generation of test-data from high-level models is of crucial importance in advanced modern software engineering. Empirical studies have shown that muta...
181
click to vote
ARITH
1999
IEEE
15 years 10 months ago
1999
IEEE
Comprehensive testing of any implementation of the RSA cryptosystem requires the use of a number of moduli with specific properties. It is shown how to generate a sufficient varie...