183 search results - page 10 / 37 » Practical Random Number Generation in Software |
TSE
2010
13 years 4 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
This paper is concerned with the problem of computing the image of a set by a polynomial function. Such image computations constitute a crucial component in typical tools for set-b...
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Due to the expensiveness of compiling and executing a large number of mutants, it is usually necessary to select a subset of mutants to substitute the whole set of generated mutan...
CTRSA
2009
Springer
14 years 1 months ago
2009
Springer
In many applications, it is desirable to work with signatures that are both short, and yet where many messages from different signers be verified very quickly. RSA signatures sati...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...