183 search results - page 10 / 37 » Practical Random Number Generation in Software |
113
click to vote
TSE
2010
14 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...
74
Voted
CAV
2009
Springer
15 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
15 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...
104
click to vote
CTRSA
2009
Springer
15 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...
75
Voted
COMPSAC
2008
IEEE
15 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...