Login / Signup
Verification of the IBM RISC System/6000 by a Dynamic Biased Pseudo-Random Test Program Generator.
Aharon Aharon
Ayal Bar-David
Barry Dorfman
Emanuel Gofman
Moshe Leibowitz
Victor Schwartzburd
Published in:
IBM Syst. J. (1991)
Keyphrases
</>
pseudorandom
random numbers
random number
test generation
symbolic execution
uniformly distributed
secret key
test cases
dynamic environments
model checking
hardware designs
high quality
face verification
software testing
statistical significance
user specific
statistical tests