Mike Bartley of TVS recently presented at the Test Management Forum in London on “Constrained Random Verification in Software”.

The talk highlights how techniques well known in Hardware Verification (such as constrained random stimulus generation, functional and code coverage, and assertions) can be applied to Software Testing.

The slides also report an application of the techniques to a simple example of a “Bubble sort”.

For more details click here.