A comparison of three verification techniques: directed testing, pseudo-random testing and property checking.

Tue, 01 Jan 2002 00:00:00 +0100

Mike Bartley, Darren Galpin, Tim Blackmore:
A comparison of three verification techniques: directed testing, pseudo-random testing and property checking. DAC 2002: 819-823