Login / Signup
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking.
Mike Bartley
Darren Galpin
Tim Blackmore
Published in:
DAC (2002)
Keyphrases
</>
pseudorandom
test cases
test generation
symbolic execution
data mining
machine learning
information systems
test set
real time
data sets
software testing